Merge branch 'nightly-testing' of github.com:leanprover-community/mathlib4-nightly-testing into nightly-testing

kim-em · kim-em · commit 09f28100a1ee · 2026-05-03T19:40:55.000+10:00
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:nightly-2026-05-02
+leanprover/lean4:nightly-2026-05-03
