[stable32] fix: show numbered version in manual titles and version picker - #15156

Merged

skjnldsv merged 11 commits into

backport/15140/stable32

Jun 16, 2026

Commits on Jun 16, 2026

fix: show numbered version in manual titles and version picker

skjnldsv
authored and
backportbot[bot]
committed
7be4566
ci: validate version_start and version_stable against stableNN branches

skjnldsv
authored and
backportbot[bot]
committed
e21866d
ci: only validate version constants when building master

skjnldsv
authored and
backportbot[bot]
committed
0a3c58e
ci: use GitHub API to detect highest released stable for validation

skjnldsv
authored and
backportbot[bot]
committed
d091834
fix: derive PDF release version from conf.py on master

skjnldsv
authored and
backportbot[bot]
committed
35634c5
fix: exclude version_stable from numbered range in version picker

skjnldsv
authored and
backportbot[bot]
committed
f7c0c2f
fix: add display_version, update version_stable/start for current state
skjnldsv
committed
5cbba66
fix: use GITHUB_BASE_REF to detect stable branch for display_version and PDF
skjnldsv
committed
67d6d8d
fix: add shell: bash to PDF release version step (container uses sh)
skjnldsv
committed
e35f008
fix: use version_stable+1 for latest picker label, not display_version
skjnldsv
committed
9a85048
feat: add unsupported version entry to picker when viewing old branch docs
skjnldsv
committed
a44abf0