Merge pull request #1071 from riederd/main #18
Job | Run time |
---|---|
54s | |
1m 9s | |
29s | |
1m 21s | |
1m 5s | |
1m 24s | |
28s | |
1m 6s | |
1m 35s | |
1m 10s | |
1m 15s | |
1m 22s | |
1m 31s | |
1m 10s | |
1m 21s | |
17m 20s |
Job | Run time |
---|---|
54s | |
1m 9s | |
29s | |
1m 21s | |
1m 5s | |
1m 24s | |
28s | |
1m 6s | |
1m 35s | |
1m 10s | |
1m 15s | |
1m 22s | |
1m 31s | |
1m 10s | |
1m 21s | |
17m 20s |