Kim Morrison 1c60b40261 fix: parse LEAN_VERSION_MINOR correctly in release_checklist.py (#12785) ...

This PR fixes a parsing bug in \`release_checklist.py\` introduced by
https://github.com/leanprover/lean4/pull/12700, which reformatted
\`src/CMakeLists.txt\` to use \`CACHE STRING \"\"\`:

\`\`\`cmake
set(LEAN_VERSION_MINOR 30 CACHE STRING "")
\`\`\`

The old code used \`split()[-1].rstrip(")")\` to extract the version
number, which now yields \`""\` (the empty string argument) instead of
the minor version. Use a regex to extract the digit directly.

🤖 Prepared with Claude Code

Co-authored-by: Claude Sonnet 4.6 <noreply@anthropic.com>

2026-03-04 11:51:43 +00:00

..

lib

fix: update-stage0 under the Lake cache

2026-02-25 11:40:02 +01:00

profiler

feat: add Lean name demangler and profiling pipeline (#12517)

2026-02-17 03:27:58 +00:00

apply.lean

fix: deallocation for closures in non default configurations (#11217)

2025-11-17 16:27:20 +00:00

benchReelabRss.lean

chore: switch to new test/bench suite (#12590)

2026-02-25 13:51:53 +00:00

benchReelabWatchdogRss.lean

chore: switch to new test/bench suite (#12590)

2026-02-25 13:51:53 +00:00

build_artifact.py

feat: add build_artifact.py for downloading CI artifacts (#11735)

2025-12-19 04:09:23 +00:00

collideProfiles.lean

feat: trace.profiler export to Firefox Profiler (#3801)

2024-04-15 12:13:14 +00:00

diff_changelogs.py

chore(script): fix nightlies... finally?

2018-03-26 16:17:42 +02:00

fmt

chore: switch to new test/bench suite (#12590)

2026-02-25 13:51:53 +00:00

gen_constants_cpp.py

chore: fix test suite on macOS (#12780)

2026-03-03 20:59:08 +00:00

gen_tokens_cpp.py

chore: fix test suite on macOS (#12780)

2026-03-03 20:59:08 +00:00

issues_summary.sh

feat: script to summarize issues (#3952)

2024-04-24 06:11:07 +00:00

lakefile.toml

feat: add lake shake command (#11921)

2026-01-19 11:11:13 +00:00

lean_profile.sh

chore: fix profiler shebang and add profiling skill (#12519)

2026-03-01 07:09:33 +00:00

lean-bisect

feat: support revised nightly releases (nightly-YYYY-MM-DD-revK) (#12461)

2026-02-13 00:41:04 +00:00

lean-bisect-test.lean

feat: add lean-bisect script for bisecting toolchain regressions (#11727)

2025-12-21 20:04:47 +00:00

lean-toolchain

chore: relative lean-toolchains (#12652)

2026-02-25 10:23:35 +00:00

mathlib-bench

feat: move lean-pr-testing-NNNN branches to a fork (#8933)

2025-06-24 03:30:43 +00:00

merge_remote.py

feat: updates to release process for v4.23.0 (#10383)

2025-09-14 23:52:19 +00:00

Modulize.lean

chore: modulize: work around unknown initial command (#12080)

2026-01-21 20:25:13 +00:00

patch.sh

fix(script/patch): apply changes

2019-08-09 08:52:49 -07:00

prepare-llvm-linux.sh

chore: CI: fix Linux release jobs (#11424)

2025-11-28 16:27:32 +00:00

prepare-llvm-macos.sh

fix: set LLVM sysroot consistently (#6574)

2025-01-08 12:56:27 +00:00

prepare-llvm-mingw.sh

chore: remove old LEAN_AUTO_THREAD_FINALIZATION workaround (#8885)

2025-06-20 08:52:17 +00:00

PROFILER_README.md

feat: add Lean name demangler and profiling pipeline (#12517)

2026-02-17 03:27:58 +00:00

push_repo_release_tag.py

feat: further release automation (#9092)

2025-06-30 05:44:10 +00:00

rebase-stage0.sh

chore: add ./script/rebase-stage0.sh (#3984)

2024-05-02 12:26:25 +00:00

reformat.lean

chore: fix script/reformat.lean

2022-11-28 15:47:17 +01:00

release_checklist.py

fix: parse LEAN_VERSION_MINOR correctly in release_checklist.py (#12785)

2026-03-04 11:51:43 +00:00

release_notes.py

chore: update script/release_notes.py for changelog-tactics (#10436)

2025-09-18 07:22:53 +00:00

release_repos.yml

chore: remove batteries dependency from ProofWidgets4 in release_repos.yml (#12535)

2026-02-17 20:35:20 +00:00

release_steps.py

fix: gate reference-manual tagging on release notes title correctness (#12512)

2026-02-17 01:20:36 +00:00