Skip to content

Commit

Permalink
chore: bump lean-toolchain to v4.2.0-rc4
Browse files Browse the repository at this point in the history 
Fixes a potential data loss bug. All projects should update their toolchain as soon as possible.

Please see https://github.com/leanprover/lean4/releases/tag/v4.2.0-rc4
and the [zulip thread](https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/Potential.20data.20loss.20from.20.60lake.20clean.60.20with.204.2E2.2E0-rc2.2F3/near/397875701) for more information.
  • Loading branch information
@kim-em
kim-em authored Oct 21, 2023
1 parent 0f1b99c commit 8bccb92
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion lean-toolchain
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
leanprover/lean4:v4.2.0-rc3
leanprover/lean4:v4.2.0-rc4

0 comments on commit 8bccb92

Please sign in to comment.