Auto merge of #13409 - Muscraft:rename-config, r=epage #9857
Job | Run time |
---|---|
6s | |
5s | |
12m 48s | |
2m 45s | |
1m 42s | |
2m 50s | |
2m 1s | |
2m 45s | |
10s | |
13m 54s | |
8m 4s | |
13m 56s | |
14m 58s | |
32m 43s | |
32m 13s | |
14m 43s | |
20m 50s | |
27m 29s | |
1s | |
0s | |
3h 24m 3s |
Job | Run time |
---|---|
6s | |
5s | |
12m 48s | |
2m 45s | |
1m 42s | |
2m 50s | |
2m 1s | |
2m 45s | |
10s | |
13m 54s | |
8m 4s | |
13m 56s | |
14m 58s | |
32m 43s | |
32m 13s | |
14m 43s | |
20m 50s | |
27m 29s | |
1s | |
0s | |
3h 24m 3s |