Merge pull request #7956 from tautschnig/bugfixes/7949-comparison #8892
Job | Run time |
---|---|
28m 45s | |
35m 11s | |
57m 53s | |
3m 16s | |
26m 59s | |
4m 17s | |
12m 54s | |
31m 8s | |
5m 36s | |
27m 40s | |
23m 50s | |
32m 32s | |
27m 39s | |
24m 43s | |
54m 21s | |
52m 40s | |
1h 0m 20s | |
35m 27s | |
7m 21s | |
9h 12m 32s |