Merge pull request #258 from davidrg/increase-max-term-dimensions #749
| Job | Run time |
|---|---|
| 24s | |
| 24s | |
| 3m 17s | |
| 3m 17s | |
| 20s | |
| 20s | |
| 2m 10s | |
| 6m 35s | |
| 4s | |
| 4s | |
| 5m 33s | |
| 5m 33s | |
| 21m 50s | |
| 21m 50s | |
| 8m 8s | |
| 8m 8s | |
| 8m 43s | |
| 8m 43s | |
| 19m 0s | |
| 19m 0s | |
| 7m 50s | |
| 7m 50s | |
| 19m 27s | |
| 19m 27s | |
| 20m 41s | |
| 20m 41s | |
| 18m 43s | |
| 18m 43s | |
| 11m 58s | |
| 11m 58s | |
| 18m 10s | |
| 18m 10s | |
| 8m 55s | |
| 8m 55s | |
| 17m 13s | |
| 17m 13s | |
| 15m 52s | |
| 15m 52s | |
| 16m 56s | |
| 16m 56s | |
| 7h 34m 53s |