Def Cache.Requests.checkForToolchainMismatch

Modification history

2024-03-19 03:35

Cache/Requests.lean

fix(Cache): do not read lake-manifest.json at import-time (#11492) …

Modified Cache.Requests.checkForToolchainMismatch View on Github →

2023-10-15 08:02

Cache/Requests.lean

feat: Cache check for toolchains mismatch (#7652) …

Added Cache.Requests.checkForToolchainMismatch View on Github →