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
#214
| Job | Run time |
|---|---|
| 27s | |
| 48s | |
| 1m 22s | |
| 2m 37s |