Merge pull request #1100 from texpert/master #330
Job | Run time |
---|---|
17s | |
5m 37s | |
6m 21s | |
5m 25s | |
5m 25s | |
6m 16s | |
5m 39s | |
5m 31s | |
5m 31s | |
5m 45s | |
5m 34s | |
5m 8s | |
5m 8s | |
4m 47s | |
1h 12m 24s |
Job | Run time |
---|---|
17s | |
5m 37s | |
6m 21s | |
5m 25s | |
5m 25s | |
6m 16s | |
5m 39s | |
5m 31s | |
5m 31s | |
5m 45s | |
5m 34s | |
5m 8s | |
5m 8s | |
4m 47s | |
1h 12m 24s |