Skip to content
Quint

fix(spec): Always start propose timeout #237

Sign in to view logs

fix(spec): Always start propose timeout

fix(spec): Always start propose timeout #237

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Test
7m 3s
Typecheck
1m 42s
8m 45s