Skip to content

VSCode Release v0.14.9 #3658

VSCode Release v0.14.9

VSCode Release v0.14.9 #3658

Annotations

1 warning

quint-integration-tests (macos-latest)

succeeded Oct 28, 2024 in 4m 14s
Set up job
4s
Run actions/checkout@v4
2s
Run actions/setup-node@v3
0s
Run cd ./quint && npm ci
11s
Run cd ./quint && npm run compile && npm link
23s
Ensure all dependencies are specified
0s
Run npm install -g txm
2s
Blackbox integration tests
2m 32s
Run dcarbone/install-jq-action@v2
0s
Blackbox integration tests with I/O
14s
Run actions/setup-java@v3
5s
Apalache integration tests
28s
Post Run actions/setup-java@v3
0s
Post Run actions/setup-node@v3
0s
Post Run actions/checkout@v4
0s
Complete job
1s