Commit 2023-01-04 23:44 8206b492

View on Github →

fix: OS caching divergences (#1339) Also:

Improve NOOP UX when nothing is there to be decompressed
Improve GET routine: no longer downloading HTTP 404 files

Estimated changes

Modified Cache/Hashing.lean

Modified Cache/IO.lean

added def Cache.IO.CURLCFG

deleted def Cache.IO.TMPDIR

modified def Cache.IO.runCmd

Modified Cache/Requests.lean

deleted def Cache.Requests.invalidFileStart

modified def Cache.Requests.mkGetConfigContent