From cdb444253744883cbca7e2cd01a82609a330b6c5 Mon Sep 17 00:00:00 2001 From: Kim Morrison <477956+kim-em@users.noreply.github.com> Date: Fri, 20 Feb 2026 00:04:26 +1100 Subject: [PATCH] fix: update bump branch toolchain to nightly for all repos (#12586) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit This PR fixes the release checklist to update the lean-toolchain to the latest nightly on newly created bump branches for all repositories, not just batteries and mathlib4. Previously cslib (and any future repos with `bump-branch: true`) would inherit the toolchain from main, causing nightly testing warnings like https://leanprover.zulipchat.com/#narrow/channel/428973-nightly-testing/topic/Cslib.20status.20updates/near/574648029 🤖 Prepared with Claude Code Co-authored-by: Claude Opus 4.6 --- script/release_checklist.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/script/release_checklist.py b/script/release_checklist.py index 6eb19a1ba8..7e11da93bc 100755 --- a/script/release_checklist.py +++ b/script/release_checklist.py @@ -924,8 +924,8 @@ def main(): print(f" ✅ Bump branch {bump_branch} exists") - # For batteries and mathlib4, update the lean-toolchain to the latest nightly - if branch_created and name in ["batteries", "mathlib4"]: + # Update the lean-toolchain to the latest nightly for newly created bump branches + if branch_created: latest_nightly = get_latest_nightly_tag(github_token) if latest_nightly: nightly_toolchain = f"leanprover/lean4:{latest_nightly}"