[stable33] fix: show numbered version in manual titles and version picker - #15155

Merged

skjnldsv merged 11 commits into

backport/15140/stable33

Jun 16, 2026

Commits on Jun 16, 2026

fix: show numbered version in manual titles and version picker

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

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

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

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

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

skjnldsv
authored and
backportbot[bot]
committed
1ea7d0d
fix: add display_version, update version_stable/start for current state
skjnldsv
committed
c63af7d
fix: use GITHUB_BASE_REF to detect stable branch for display_version and PDF
skjnldsv
committed
ba45283
fix: add shell: bash to PDF release version step (container uses sh)
skjnldsv
committed
9e033e4
fix: use version_stable+1 for latest picker label, not display_version
skjnldsv
committed
8f309cc
feat: add unsupported version entry to picker when viewing old branch docs
skjnldsv
committed
df5256a