Merge pull request #837 from danielpeter/devel #170
Job | Run time |
---|---|
22s | |
11m 37s | |
6m 32s | |
1m 50s | |
1m 59s | |
2m 35s | |
6m 34s | |
2m 44s | |
1m 52s | |
3m 36s | |
5m 7s | |
2m 20s | |
47m 8s |
Job | Run time |
---|---|
22s | |
11m 37s | |
6m 32s | |
1m 50s | |
1m 59s | |
2m 35s | |
6m 34s | |
2m 44s | |
1m 52s | |
3m 36s | |
5m 7s | |
2m 20s | |
47m 8s |