Skip to content

test

test #3944

Annotations

1 warning

build-and-test-client - ubuntu-latest, src/test/data/settings/local.json

succeeded Jan 25, 2025 in 1m 25s
Set up job
3s
Checkout Gobra-IDE
1s
Download Gobra tools
5s
Unzip Gobra tools
1s
Install Node.js
1s
Setup Java JDK
0s
Run java --version
0s
Cache npm
4s
Reconfigure git to use HTTPS authentication
0s
Run npm ci --cache .npm --prefer-offline
15s
Run tests (headless - non-ubuntu)
0s
Run tests (headless - ubuntu only)
30s
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)
1s
List all files that will be packaged (only once)
2s
Package Gobra-IDE extension (only once)
11s
Upload packaged Gobra-IDE (only once)
1s
Post Cache npm
2s
Post Setup Java JDK
0s
Post Install Node.js
0s
Post Checkout Gobra-IDE
0s
Complete job
0s