This repository has been archived by the owner on Aug 24, 2024. It is now read-only.
fix: print-paths changed to setup-file in Lean v4.4.0
#213
| Job | Run time |
|---|---|
| 55s | |
| 2m 14s | |
| 1m 38s | |
| 4m 47s |