Merge pull request #922 from mkurz/adjust_mima #488
Job | Run time |
---|---|
1h 5m 19s | |
2s | |
2s | |
3m 50s | |
3m 37s | |
3s | |
7m 20s | |
8m 50s | |
7m 19s | |
5m 36s | |
7m 14s | |
7m 43s | |
0s | |
1h 56m 55s |
Job | Run time |
---|---|
1h 5m 19s | |
2s | |
2s | |
3m 50s | |
3m 37s | |
3s | |
7m 20s | |
8m 50s | |
7m 19s | |
5m 36s | |
7m 14s | |
7m 43s | |
0s | |
1h 56m 55s |