chore: update toolchain nightly-2026-06-16

fgdorais · fgdorais · commit 3f66a391f7cc · 2026-06-17T10:33:38.000Z
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-06-15
+leanprover/lean4:nightly-2026-06-16
