Def Cache.Requests.getRemoteRepo

Modification history

2025-06-24 04:54
Cache/Requests.lean
feat: cache uses the nightly-testing cache when relevant (#26334) …
Modified Cache.Requests.getRemoteRepoView on Github →
2025-05-27 09:48
Cache/Requests.lean
fix(Cache): detect repository of mathlib, not root (#25211) …
Modified Cache.Requests.getRemoteRepoView on Github →
2025-05-24 22:50
Cache/Requests.lean
feat(Cache): repository-scoped caches (#25137) …
Added Cache.Requests.getRemoteRepoView on Github →