Skip to content

ci: allow manual trigger of doc build workflow#59

Merged
hadrien merged 1 commit intomainfrom
ci/doc-workflow-dispatch
May 5, 2026
Merged

ci: allow manual trigger of doc build workflow#59
hadrien merged 1 commit intomainfrom
ci/doc-workflow-dispatch

Commits

Commits on May 5, 2026