diff --git a/script/release_checklist.py b/script/release_checklist.py index cb2f43944b..50583cf435 100755 --- a/script/release_checklist.py +++ b/script/release_checklist.py @@ -236,7 +236,7 @@ def parse_version(version_str): def is_version_gte(version1, version2): """Check if version1 >= version2, including proper handling of release candidates.""" # Check if version1 is a nightly toolchain - if version1.startswith("leanprover/lean4:nightly-"): + if version1.startswith("leanprover/lean4:nightly-") or version1.startswith("leanprover/lean4-nightly:"): return False return parse_version(version1) >= parse_version(version2)