Record all copyright owners (#757) #277
Job | Run time |
---|---|
32m 10s | |
39m 5s | |
35m 28s | |
32m 6s | |
36m 56s | |
46m 35s | |
45m 59s | |
45m 36s | |
40m 5s | |
43m 8s | |
41m 47s | |
38m 32s | |
36m 23s | |
37m 54s | |
43m 42s | |
9h 55m 26s |
Job | Run time |
---|---|
32m 10s | |
39m 5s | |
35m 28s | |
32m 6s | |
36m 56s | |
46m 35s | |
45m 59s | |
45m 36s | |
40m 5s | |
43m 8s | |
41m 47s | |
38m 32s | |
36m 23s | |
37m 54s | |
43m 42s | |
9h 55m 26s |