chore: update toolchain nightly-2026-06-05

fgdorais · fgdorais · commit f0f1c9d57413 · 2026-06-06T09:41:19.000Z
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-06-04
+leanprover/lean4:nightly-2026-06-05
