Skip to content
Quint

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

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 #46

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Typecheck
1m 14s
Test
52s
2m 6s