Merge pull request #1100 from texpert/master #329
Job | Run time |
---|---|
26s | |
6m 2s | |
5m 42s | |
5m 45s | |
6m 10s | |
5m 41s | |
5m 34s | |
5m 51s | |
5m 30s | |
5m 29s | |
5m 35s | |
5m 14s | |
5m 23s | |
4m 46s | |
1h 13m 8s |
Job | Run time |
---|---|
26s | |
6m 2s | |
5m 42s | |
5m 45s | |
6m 10s | |
5m 41s | |
5m 34s | |
5m 51s | |
5m 30s | |
5m 29s | |
5m 35s | |
5m 14s | |
5m 23s | |
4m 46s | |
1h 13m 8s |