Commit 2023-01-04 18:18 ba43d2dd
View on Github →fix: multiple cache bugs (#1333)
- Fix
"mathlib"
cloned directory (was "Mathlib") - Fix hash collisions due to files in different paths having the same content
- Fix curl commands that had too many parameters Closes #1323