Merge pull request #2113 from GaloisInc/prepare-release-v1.2 #3719
Job | Run time |
---|---|
6s | |
0s | |
35m 53s | |
32m 10s | |
31m 13s | |
33m 5s | |
34m 12s | |
33m 47s | |
50m 19s | |
32m 13s | |
29m 10s | |
1m 23s | |
24m 36s | |
28s | |
1m 6s | |
44s | |
29s | |
10m 17s | |
40s | |
6m 40s | |
27s | |
3m 39s | |
2m 7s | |
37s | |
0s | |
9m 15s | |
4m 48s | |
16m 25s | |
7m 33s | |
3m 32s | |
4m 1s | |
25m 5s | |
8m 53s | |
0s | |
7h 24m 53s |