Merge pull request #1077 from texpert/master #258
Job | Run time |
---|---|
24s | |
5m 55s | |
5m 20s | |
5m 41s | |
5m 19s | |
5m 30s | |
5m 18s | |
5m 23s | |
5m 21s | |
5m 16s | |
5m 20s | |
54m 47s |
Job | Run time |
---|---|
24s | |
5m 55s | |
5m 20s | |
5m 41s | |
5m 19s | |
5m 30s | |
5m 18s | |
5m 23s | |
5m 21s | |
5m 16s | |
5m 20s | |
54m 47s |