Skip to content
Quint

chore(code/sync): Skip commit timeout when consensus decides via value sync #782

Sign in to view logs

chore(code/sync): Skip commit timeout when consensus decides via value sync

chore(code/sync): Skip commit timeout when consensus decides via value sync #782

Triggered via pull request February 7, 2025 20:10
@ancazamfirancazamfir
opened #839
anca/sync_wo_commit_timeout
Status Success
Total duration 19s
Artifacts –

quint.yml

on: pull_request
Detect changes
5s
Detect changes
Typecheck
0s
Typecheck
Test
0s
Test
Fit to window
Zoom out
Zoom in