Skip to content
Quint

fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round #35

Sign in to view logs

fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round

fix(spec/votekeeper): Fix the VoteKeeper spec to account for skip threshold from higher round #35

Annotations

1 error

The logs for this run have expired and are no longer available.