Merge pull request #708 from Majoramari/docs-redot-rename #467
Job | Run time |
---|---|
1m 48s | |
25m 34s | |
16m 49s | |
9m 20s | |
33m 40s | |
17m 9s | |
23m 8s | |
26m 0s | |
39m 36s | |
26m 35s | |
41m 49s | |
46m 48s | |
51m 20s | |
37m 20s | |
54m 19s | |
31m 10s | |
45m 6s | |
27m 17s | |
13m 56s | |
37m 0s | |
42m 22s | |
8m 23s | |
10h 56m 29s |