Skip to content

ci: let workflow_dispatch actually deploy docs, rename to "Docs Publish" - #102

Merged
petercorke merged 1 commit into
mainfrom
ci/docs-manual-dispatch-deploy
Oct 3, 2026
Merged

petercorke merged 1 commit into
mainfrom
ci/docs-manual-dispatch-deploy