Merge pull request #554 from MatthewFluet/constant-and-infix-elaborat… #154
| Job | Run time |
|---|---|
| 19m 3s | |
| 25m 5s | |
| 19m 48s | |
| 29m 17s | |
| 30m 54s | |
| 48m 50s | |
| 47m 58s | |
| 50m 10s | |
| 40m 23s | |
| 5h 11m 28s |
| Job | Run time |
|---|---|
| 19m 3s | |
| 25m 5s | |
| 19m 48s | |
| 29m 17s | |
| 30m 54s | |
| 48m 50s | |
| 47m 58s | |
| 50m 10s | |
| 40m 23s | |
| 5h 11m 28s |