Merge pull request #1532 from informalsystems/vscode-release/0.14.8 #3641
| Job | Run time |
|---|---|
| 1m 2s | |
| 1m 41s | |
| 27s | |
| 5m 27s | |
| 3m 12s | |
| 5m 33s | |
| 30s | |
| 47s | |
| 5m 39s | |
| 34s | |
| 3m 28s | |
| 5m 55s | |
| 1m 18s | |
| 3m 44s | |
| 39m 17s |
| Job | Run time |
|---|---|
| 1m 2s | |
| 1m 41s | |
| 27s | |
| 5m 27s | |
| 3m 12s | |
| 5m 33s | |
| 30s | |
| 47s | |
| 5m 39s | |
| 34s | |
| 3m 28s | |
| 5m 55s | |
| 1m 18s | |
| 3m 44s | |
| 39m 17s |