Deploy Docs to GitHub Pages

use term 'wrench' instead of similar icon #43

Sign in to view logs

Triggered via push December 15, 2025 10:19

PhilippSalvisberg

main

Status Success

Total duration 47s

Artifacts –

deploy-docs.yml

on: push