Skip to content

CI: switch to standard docs workflow - #125

Merged
fingolfin merged 2 commits into
masterfrom
mh/ci-docs
Jun 30, 2026
Merged

CI: switch to standard docs workflow#125
fingolfin merged 2 commits into
masterfrom
mh/ci-docs

Commits

Commits on Jun 30, 2026