Skip to content
Quint

fix(spec): Always start propose timeout #236

Sign in to view logs

fix(spec): Always start propose timeout

fix(spec): Always start propose timeout #236

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test
1m 25s
Typecheck
1m 3s
2m 28s