Skip to content

ci: build release docs from the branch tip, not the dispatch ref#935

Merged
vdusek merged 1 commit into
masterfrom
ci/docs-release-build-from-branch-tip
Jun 4, 2026
Merged

ci: build release docs from the branch tip, not the dispatch ref#935
vdusek merged 1 commit into
masterfrom
ci/docs-release-build-from-branch-tip

Commits

Commits on Jun 4, 2026