Mathlib Changelog
v4
Changelog
About
Github
Commit
2023-01-06 01:19
a51091f6
View on Github →
chore: allow caching to continue if build file is not found (
#1361
) Closes
#1336
Estimated changes
Modified
Cache/IO.lean
added
def
Cache.IO.allExist
modified
def
Cache.IO.mkBuildPaths