Merge pull request #1130 from informalsystems/release/0.14.1 #2581
Job | Run time |
---|---|
27s | |
5m 42s | |
9m 6s | |
30s | |
5m 2s | |
9m 34s | |
6m 12s | |
37s | |
1m 49s | |
2m 18s | |
4m 4s | |
7m 8s | |
1m 12s | |
1m 32s | |
3m 40s | |
58m 53s |
Job | Run time |
---|---|
27s | |
5m 42s | |
9m 6s | |
30s | |
5m 2s | |
9m 34s | |
6m 12s | |
37s | |
1m 49s | |
2m 18s | |
4m 4s | |
7m 8s | |
1m 12s | |
1m 32s | |
3m 40s | |
58m 53s |