Def Cache.IO.mkBuildPaths

Modification history

2025-04-03 01:55
Cache/IO.lean
refactor(Cache): use module name as key instead of unresolved file path (#21834) …
Modified Cache.IO.mkBuildPathsView on Github →
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 →
2023-01-06 01:19
Cache/IO.lean
chore: allow caching to continue if build file is not found (#1361) …
Modified Cache.IO.mkBuildPathsView on Github →
2023-01-03 21:54
Cache/IO.lean
feat: caching build files on Azure (#1230) …
Added Cache.IO.mkBuildPathsView on Github →