test: add stable<rc test

leanprover · Oct 19, 2024 · e548d57 · e548d57
1 parent 7de1251
commit e548d57
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/src/lake/tests/updateToolchain/test.lean b/src/lake/tests/updateToolchain/test.lean
@@ -15,6 +15,7 @@ def test := do
   checkParse "leanprover/lean4-pr-releases:pr-release-101"
   checkParse "leanprover/lean:v4.1.0"
   checkParse "4.12.0"
+  checkLt "4.6.0-rc1" "v4.6.0"
   checkLt "4.12.0" "leanprover/lean4:v4.13.0-rc1"
   checkLt "nightly-2024-09-08" "nightly-2024-10-09"
   checkLt "nightly-2024-09-08" "4.0.0"
@@ -28,6 +29,7 @@ Lake.ToolchainVer.other "leanprover/lean:v4.1.0"
 Lake.ToolchainVer.release { toSemVerCore := { major := 4, minor := 12, patch := 0 }, specialDescr := "" }
 true
 true
+true
 false
 -/
 #guard_msgs in #eval test