Merge pull request #1380 from tobiasge/edition-marker #1538
Job | Run time |
---|---|
1m 40s | |
21m 20s | |
36m 29s | |
6s | |
13s | |
21m 23s | |
35m 15s | |
20m 56s | |
35m 9s | |
2h 52m 31s |
Job | Run time |
---|---|
1m 40s | |
21m 20s | |
36m 29s | |
6s | |
13s | |
21m 23s | |
35m 15s | |
20m 56s | |
35m 9s | |
2h 52m 31s |