Merge remote-tracking branch 'origin/master' into bump_to_v4.11.0-rc3

leanprover-community · Sep 3, 2024 · a6e6395 · a6e6395
2 parents 1680fb3 + 2c8ae45
commit a6e6395
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.11.0
+leanprover/lean4:v4.12.0-rc1