chore: update toolchain nightly-2026-06-24

fgdorais · fgdorais · commit ab9d5a1db79a · 2026-06-24T10:05:11.000Z
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-06-23
+leanprover/lean4:nightly-2026-06-24
