chore: update toolchain nightly-2026-06-27

fgdorais · fgdorais · commit 621a863ddf69 · 2026-06-27T09:43:20.000Z
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-06-26
+leanprover/lean4:nightly-2026-06-27
