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

Triggered via pull request January 16, 2024 10:40
@romacromac
synchronize #157
josef/alwaysproposetimeout
Status Failure
Total duration 1m 35s
Artifacts –

quint.yml

on: pull_request
Typecheck
1m 3s
Typecheck
Test
1m 25s
Test
Fit to window
Zoom out
Zoom in

Annotations

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