Skip to content

Merge pull request #456 from viperproject/auto-update-vscode #3808

Merge pull request #456 from viperproject/auto-update-vscode

Merge pull request #456 from viperproject/auto-update-vscode #3808

build-and-test-client - windows-latest, src/test/data/settings/nightly.json

succeeded Dec 15, 2024 in 2m 28s
Set up job
2s
Checkout Gobra-IDE
6s
Download Gobra tools
3s
Unzip Gobra tools
4s
Install Node.js
14s
Setup Java JDK
0s
Run java --version
5s
Cache npm
4s
Reconfigure git to use HTTPS authentication
0s
Run npm ci --cache .npm --prefer-offline
33s
Run tests (headless - non-ubuntu)
1m 6s
Run tests (headless - ubuntu only)
0s
Collect coverage
1s
Clean 'dist' folder (only once)
0s
Run 'npm install' as a workaround to later being able to package Gobra-IDE (only once)
0s
List all files that will be packaged (only once)
0s
Package Gobra-IDE extension (only once)
0s
Upload packaged Gobra-IDE (only once)
0s
Post Cache npm
5s
Post Setup Java JDK
0s
Post Install Node.js
0s
Post Checkout Gobra-IDE
1s
Complete job
0s