Merge pull request #26 from RalfJung/ci #158
Job | Run time |
---|---|
58s | |
1m 34s | |
1m 36s | |
2m 28s | |
1m 0s | |
2m 49s | |
2m 23s | |
1m 0s | |
1m 47s | |
2m 54s | |
1m 8s | |
1m 55s | |
2m 21s | |
23m 53s |
Job | Run time |
---|---|
58s | |
1m 34s | |
1m 36s | |
2m 28s | |
1m 0s | |
2m 49s | |
2m 23s | |
1m 0s | |
1m 47s | |
2m 54s | |
1m 8s | |
1m 55s | |
2m 21s | |
23m 53s |