Skip to content

refactoring the ics23 spec #3701

refactoring the ics23 spec

refactoring the ics23 spec #3701

Annotations

1 error and 1 warning

quint-examples-dashboard (ubuntu-latest)

failed Dec 20, 2024 in 5m 45s
Set up job
1s
Run actions/checkout@v4
2s
Run actions/setup-node@v3
0s
Run cd ./quint && npm ci
19s
Run cd ./quint && npm run compile && npm link
20s
Ensure all dependencies are specified
1s
Run npm install -g txm
1s
Run actions/setup-java@v3
3s
Set up apalache
1s
Install GNU parallel
0s
Ensure the examples dashboard is up to date
4m 53s
Post Run actions/setup-java@v3
0s
Post Run actions/setup-node@v3
0s
Post Run actions/checkout@v4
0s
Complete job
0s