Skip to content
Quint

spec: Add skip round logic (#75) #106

Sign in to view logs

spec: Add skip round logic (#75)

spec: Add skip round logic (#75) #106

Triggered via push November 24, 2023 13:59
@romacromac
pushed ce7a130
main
Status Success
Total duration 1m 42s
Artifacts –

quint.yml

on: push
Typecheck
1m 32s
Typecheck
Test
1m 20s
Test
Fit to window
Zoom out
Zoom in