Def Cache.Requests.classifyDownload

Modification history

2026-09-25 21:09

Cache/Requests.lean

feat(cache): retire the legacy container (#44174) …

Modified Cache.Requests.classifyDownload View on Github →

2026-08-28 00:22

Cache/Requests.lean

fix(cache): retry transport errors, improve transfer robustness (#43145) …

Added Cache.Requests.classifyDownload View on Github →