Kim Morrison 2152eddfb4 fix: validate stage0 version matches release version ...

This PR adds a check to both `release_checklist.py` and CI to verify that
`stage0/src/CMakeLists.txt` has the same LEAN_VERSION_MAJOR and
LEAN_VERSION_MINOR as the release tag. The stage0 pre-built compiler stamps
.olean headers with its baked-in version, so a mismatch causes the release
tarball to contain .olean files with the wrong version. This happened in
v4.29.0-rc2 (https://github.com/leanprover/lean4/issues/12681) because the
'begin development cycle for v4.30.0' commit bumped stage0 to 4.30.0 before
the release was cut.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>

2026-02-26 08:40:10 +00:00

..

ISSUE_TEMPLATE

chore: improve bug report template instructions (#11537)

2025-12-07 19:52:52 +00:00

workflows

fix: validate stage0 version matches release version

2026-02-26 08:40:10 +00:00

actionlint.yaml

chore: CI: run stage0 update on faster runner (#9178)

2025-07-03 16:14:46 +00:00

dependabot.yml

chore: CI: adjust Dependabot prefix

2024-11-05 10:31:37 +01:00

PULL_REQUEST_TEMPLATE.md

chore: new PR changelog template (#5976)

2024-11-07 16:59:45 +00:00