Merge pull request #634 from IntersectMBO/fix-new-type-issues #3485
Job | Run time |
---|---|
7m 37s | |
8m 35s | |
13m 57s | |
4m 38s | |
9m 38s | |
10m 30s | |
6m 29s | |
1s | |
0s | |
1h 1m 25s |
Job | Run time |
---|---|
7m 37s | |
8m 35s | |
13m 57s | |
4m 38s | |
9m 38s | |
10m 30s | |
6m 29s | |
1s | |
0s | |
1h 1m 25s |