Merge pull request #294 from mkurz/enable_mima #158
Job | Run time |
---|---|
2m 35s | |
1s | |
2s | |
2m 17s | |
2m 9s | |
2s | |
2m 2s | |
2m 26s | |
2m 31s | |
2m 9s | |
2m 25s | |
2m 24s | |
0s | |
21m 3s |
Job | Run time |
---|---|
2m 35s | |
1s | |
2s | |
2m 17s | |
2m 9s | |
2s | |
2m 2s | |
2m 26s | |
2m 31s | |
2m 9s | |
2m 25s | |
2m 24s | |
0s | |
21m 3s |