Infra: Move numerical index to own page (#3992) #371
Job | Run time |
---|---|
42s | |
21s | |
55s | |
23s | |
19s | |
48s | |
19s | |
19s | |
1m 3s | |
20s | |
23s | |
1m 51s | |
44s | |
34s | |
33s | |
9m 34s |
Job | Run time |
---|---|
42s | |
21s | |
55s | |
23s | |
19s | |
48s | |
19s | |
19s | |
1m 3s | |
20s | |
23s | |
1m 51s | |
44s | |
34s | |
33s | |
9m 34s |