Commit 2023-09-04 23:06 ef128c47

View on Github →

chore: run cache in archive and counterexamples (#6945) Speeds up the 180s build of Archive and Counterexamples to about 45s.

Estimated changes

Modified .github/workflows/bors.yml

Modified .github/workflows/build.yml

Modified .github/workflows/build.yml.in

Modified .github/workflows/build_fork.yml

Modified Cache/Hashing.lean

modified def Cache.Hashing.getHashMemo

modified def Cache.Hashing.roots

Modified Cache/IO.lean

Modified Cache/Main.lean