Skip to content
Quint

fix(code/core-consensus): Prevent nodes from broadcasting equivocating votes #898

Sign in to view logs

fix(code/core-consensus): Prevent nodes from broadcasting equivocating votes

fix(code/core-consensus): Prevent nodes from broadcasting equivocating votes #898

Triggered via pull request February 19, 2025 16:17
@romacromac
synchronize #864
romac/vote-equivocation
Status Success
Total duration 28s
Artifacts –

quint.yml

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