Skip to content
Deploy Docs to GitHub Pages

remove duplicate dots #41

Sign in to view logs

remove duplicate dots

remove duplicate dots #41

Triggered via push December 14, 2025 16:55
@PhilippSalvisbergPhilippSalvisberg
pushed b11b03b
main
Status Success
Total duration 46s
Artifacts –

deploy-docs.yml

on: push
build
30s
build
deploy
9s
deploy
Fit to window
Zoom out
Zoom in