Def Cache.Requests.useFROCache

Modification history

2025-09-09 08:09
Cache/Requests.lean
chore: control 'lake exe cache' backend with environment variable (#29462)
Deleted Cache.Requests.useFROCacheView on Github →
2025-09-08 10:01
Cache/Requests.lean
chore: revert to Azure cache (#29414)
Modified Cache.Requests.useFROCacheView on Github →
2025-08-15 16:30
Cache/Requests.lean
chore: bump toolchain to v4.23.0-rc2 (#28454)
Modified Cache.Requests.useFROCacheView on Github →
2024-01-04 04:39
Cache/Requests.lean
fix: partial revert of #9409 (re-enable Azure cache) (#9419) …
Added Cache.Requests.useFROCacheView on Github →