Commit 2025-02-11 21:45 04ff313e

View on Github →

chore(Cache): use createDirAll (#21705) The additional check if !(← path.pathExists) then is superfluous as createDirAll already handles existing directories itself.

Estimated changes

Modified Cache/IO.lean

deleted def Cache.IO.mkDir

Modified Cache/Requests.lean