Def Cache.Requests.forkHintSHA?

Modification history

2026-10-06 00:50

Cache/Warning.lean

feat(cache): build the URLs of reads and uploads from a single Location type (#44173) …

Modified Cache.Requests.forkHintSHA?View on Github →

2026-09-29 23:48

Cache/Warning.lean

fix(cache): avoid misleading message on refs not built "on purpose" (#41983) …

Added Cache.Requests.forkHintSHA?View on Github →