chore: bump toolchain to v4.24.0-rc1 (#40)

kim-em · web-flow · commit c205f530395b · 2025-09-15T16:24:44.000+10:00
* patches for nightly-2025-01-04, and drop Batteries dependency * fix adaptation note * merge main * fixes for leanprover/lean4#7516 * merge lean-pr-testing-7516 * deprecations * chore: bump toolchain to v4.24.0-rc1
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.23.0
+leanprover/lean4:v4.24.0-rc1

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-leanprover/lean4:v4.23.0`
	`1`	`+leanprover/lean4:v4.24.0-rc1`