Merge pull request #2108 from jwillemsen/jwi-defines #2774
Job | Run time |
---|---|
43m 59s | |
47m 7s | |
36m 48s | |
36m 35s | |
47m 21s | |
54m 53s | |
1h 21m 10s | |
47m 46s | |
32m 50s | |
32m 15s | |
54m 42s | |
49m 29s | |
32m 55s | |
36m 8s | |
35m 34s | |
39m 6s | |
35m 50s | |
23m 8s | |
26m 55s | |
27m 55s | |
30m 18s | |
2h 11m 13s | |
16h 23m 57s |