Skip to content
Quint

fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer #879

Sign in to view logs

fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer

fix(code/core-consensus): Reproduce and fix consensus being stuck with byzantine proposer #879

Triggered via pull request February 13, 2025 15:57
@ancazamfirancazamfir
synchronize #853
anca/temp_byzantine_proposer
Status Success
Total duration 19s
Artifacts –

quint.yml

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