adjust to JuliaLang/julia#50805 #2310
| Job | Run time |
|---|---|
| 6m 47s | |
| 8m 59s | |
| 7m 42s | |
| 11m 58s | |
| 15m 6s | |
| 5m 53s | |
| 6m 30s | |
| 6m 59s | |
| 12m 34s | |
| 16m 12s | |
| 1m 29s | |
| 1m 38s | |
| 1m 43s | |
| 6m 3s | |
| 6m 29s | |
| 1h 56m 2s |
| Job | Run time |
|---|---|
| 6m 47s | |
| 8m 59s | |
| 7m 42s | |
| 11m 58s | |
| 15m 6s | |
| 5m 53s | |
| 6m 30s | |
| 6m 59s | |
| 12m 34s | |
| 16m 12s | |
| 1m 29s | |
| 1m 38s | |
| 1m 43s | |
| 6m 3s | |
| 6m 29s | |
| 1h 56m 2s |