chore: update toolchain nightly-2026-06-23

fgdorais · fgdorais · commit 4734b1608728 · 2026-06-23T10:15:40.000Z
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-06-21
+leanprover/lean4:nightly-2026-06-23
