chore: update toolchain nightly-2026-06-26

fgdorais · fgdorais · commit a86b24416e8b · 2026-06-26T10:05:31.000Z
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-06-25
+leanprover/lean4:nightly-2026-06-26
