Merge pull request #2236 from herwinw/set_merge #7099
Job | Run time |
---|---|
9m 57s | |
50m 36s | |
26m 21s | |
35m 28s | |
1h 0m 31s | |
35m 38s | |
30m 28s | |
45m 26s | |
43m 2s | |
31m 13s | |
31m 29s | |
37m 3s | |
7h 17m 12s |
Job | Run time |
---|---|
9m 57s | |
50m 36s | |
26m 21s | |
35m 28s | |
1h 0m 31s | |
35m 38s | |
30m 28s | |
45m 26s | |
43m 2s | |
31m 13s | |
31m 29s | |
37m 3s | |
7h 17m 12s |