Skip to content
Quint

spec: Fix round skip logic #100

Sign in to view logs

spec: Fix round skip logic

spec: Fix round skip logic #100

Triggered via pull request November 24, 2023 09:20
@romacromac
opened #82
romac/skip-round-fix
Status Failure
Total duration 1m 42s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 28s
Typecheck
Test
1m 5s
Test
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Test
Process completed with exit code 1.
Typecheck
Process completed with exit code 1.