Merge branch 'master' into use-debian-archive #523
Job | Run time |
---|---|
5m 45s | |
32s | |
3m 59s | |
24s | |
5m 18s | |
18s | |
3m 42s | |
16s | |
3m 44s | |
4m 3s | |
4m 37s | |
4m 40s | |
3m 55s | |
3m 45s | |
4m 8s | |
23s | |
28s | |
21s | |
21s | |
16s | |
4m 15s | |
4m 43s | |
3m 44s | |
3m 51s | |
4m 12s | |
18s | |
1h 11m 58s |