Inductive Cache.Requests.DownloadOutcome

Modification history

2026-08-28 00:22

Cache/Requests.lean

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

Deleted Cache.Requests.DownloadOutcome View on Github →

2026-06-23 03:43

Cache/Requests.lean

fix(cache): carry cache misses across 'get' layers instead of using file existence as a proxy for 'done' (#40817) …

Added Cache.Requests.DownloadOutcome View on Github →