v4.2.0-rc3
Pre-release
Pre-release
·
2452 commits
to master
since this release
This version is known to contain a bug that could lead to data loss from lake clean, which has been fixed in 4.2.0-rc4. Users upgrading a project from this version to 4.2.0 rc4 should manually remove their lakefile.olean after adjusting lean-toolchain.
This is a fix for v4.2.0-rc2 as lean4#2648 appears to cause intermittent crashes in VSCode.