Merge pull request #132 from semorrison/patch-1

chore: bump lean-toolchain to v4.2.0-rc4
jjdishere · Oct 22, 2023 · ad06f40 · ad06f40
2 parents c408087 + 4541483
commit ad06f40
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/lean-toolchain b/lean-toolchain
@@ -1 +1 @@
-leanprover/lean4:v4.2.0-rc3
+leanprover/lean4:v4.2.0-rc4