Skip to content
Quint

fix(spec): Always start propose timeout #232

Sign in to view logs

fix(spec): Always start propose timeout

fix(spec): Always start propose timeout #232

Triggered via pull request January 16, 2024 09:51
@romacromac
synchronize #157
josef/alwaysproposetimeout
Status Success
Total duration 5m 14s
Artifacts –

quint.yml

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