Remove smaller_number_is_higher_priority
option from v4 (#1453)
#3101
Job | Run time |
---|---|
5m 40s | |
48s | |
12m 38s | |
12m 43s | |
12m 55s | |
12m 44s | |
7m 48s | |
12m 59s | |
12m 51s | |
11m 55s | |
9m 57s | |
12m 51s | |
11m 5s | |
12m 38s | |
12m 59s | |
48s | |
12m 44s | |
11m 55s | |
7m 48s | |
12m 43s | |
12m 55s | |
5m 40s | |
3h 47m 4s |