chore: bump toolchain to v4.30.0-rc1

Garmelon · Garmelon · commit 1b79b5e62f08 · 2026-04-01T20:42:07.000+02:00
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-03-31
+leanprover/lean4:v4.30.0-rc1
