Commit 2023-01-06 18:52 a4f39506

View on Github →

chore: validate curl version when using cache (#1383) Closes #1327

Estimated changes

Modified Cache/Hashing.lean

modified def Cache.Hashing.getRootHash

deleted def Cache.Hashing.rootHash

Modified Cache/IO.lean

added def Cache.IO.validateCurl

Modified Cache/Main.lean