Def Cache.IO.mkBuildPaths
Modification history
2024-03-19 03:35
Cache/IO.lean
fix(Cache): do not read lake-manifest.json at import-time (#11492) …
Modified Cache.IO.mkBuildPathsView on Github →2024-01-07 19:34
Cache/IO.lean
chore(*): replace `$` with `<|` (#9319) …
Modified Cache.IO.mkBuildPathsView on Github →2023-09-15 00:38
Cache/IO.lean
feat: add git origin info to cache .ltar files (#7143) …
Modified Cache.IO.mkBuildPathsView on Github →2023-04-27 06:19
Cache/IO.lean
feat: instant library_search (#3404) …
Modified Cache.IO.mkBuildPathsView on Github →