Merge pull request #1785 from riganti/fix-compilation-page #2920
Job | Run time |
---|---|
1m 0s | |
9m 48s | |
3m 8s | |
2m 32s | |
8m 57s | |
13m 2s | |
2m 41s | |
7m 58s | |
23m 42s | |
18m 37s | |
17m 32s | |
18m 57s | |
13m 44s | |
2h 21m 38s |
Job | Run time |
---|---|
1m 0s | |
9m 48s | |
3m 8s | |
2m 32s | |
8m 57s | |
13m 2s | |
2m 41s | |
7m 58s | |
23m 42s | |
18m 37s | |
17m 32s | |
18m 57s | |
13m 44s | |
2h 21m 38s |