Auto merge of #12803 - epage:sort, r=weihanglo #8350
Job | Run time |
---|---|
3m 46s | |
5m 5s | |
18m 13s | |
2m 9s | |
18s | |
2m 47s | |
5m 3s | |
20s | |
21s | |
16m 50s | |
24m 53s | |
24m 28s | |
29m 50s | |
21m 14s | |
36m 22s | |
34m 46s | |
47m 0s | |
1s | |
0s | |
4h 33m 26s |
Job | Run time |
---|---|
3m 46s | |
5m 5s | |
18m 13s | |
2m 9s | |
18s | |
2m 47s | |
5m 3s | |
20s | |
21s | |
16m 50s | |
24m 53s | |
24m 28s | |
29m 50s | |
21m 14s | |
36m 22s | |
34m 46s | |
47m 0s | |
1s | |
0s | |
4h 33m 26s |