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.
chore: run cache in archive and counterexamples (#6945)
Speeds up the 180s build of Archive
and Counterexamples
to about 45s.