Commit 2023-10-15 08:02 39796d11
View on Github →feat: Cache check for toolchains mismatch (#7652) See Zulip Thread TLDR: When a project uses mathlib as a dependency check if it has the same lean-toolchain. If it does not use the same lean-toolchain print out an error message and exit