Fix of mixing rules #588
Job | Run time |
---|---|
17m 39s | |
8m 1s | |
17m 24s | |
7m 17s | |
42m 18s | |
41m 39s | |
1h 19m 30s | |
1h 29m 31s | |
37m 4s | |
37m 49s | |
1h 19m 30s | |
1h 27m 16s | |
19m 42s | |
10m 14s | |
22m 8s | |
10m 31s | |
47m 40s | |
47m 8s | |
33m 58s | |
38m 0s | |
47m 54s | |
48m 25s | |
25m 1s | |
26m 50s | |
20m 4s | |
8m 11s | |
19m 2s | |
8m 17s | |
48m 4s | |
47m 15s | |
54m 20s | |
1h 1m 15s | |
41m 4s | |
41m 52s | |
41m 41s | |
45m 16s | |
24m 29s | |
12m 4s | |
27m 32s | |
10m 56s | |
53m 0s | |
53m 30s | |
34m 14s | |
39m 15s | |
56m 31s | |
57m 17s | |
26m 5s | |
27m 45s | |
1d 5h 41m 28s |