Skip to content

CI: upload manual PDF directly, not wrapped into a zip#337

Merged
fingolfin merged 1 commit intomasterfrom
mh/docs-ci
Mar 11, 2026
Merged

CI: upload manual PDF directly, not wrapped into a zip#337
fingolfin merged 1 commit intomasterfrom
mh/docs-ci

Commits

Commits on Mar 9, 2026