Skip to content
Back to pull request #30

Certora #123

Sign in to view logs

Certora

Certora #123

Triggered via pull request December 3, 2024 16:23
@nisnislevinisnislevi
synchronize #6
certora
Status Cancelled
Total duration 21m 45s
Artifacts –

certora-review-voting-chain.yml

on: pull_request
Matrix: verify
Fit to window
Zoom out
Zoom in

Annotations

17 errors and 15 warnings
verify (verifyProposal_states.conf --rule proposalMethodStateTransitionCompliance)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalTimeStateTransitionCompliance)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule startedProposalHasConfig)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalImmutability)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalIdIsImmutable)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule votingPowerGhostIsVotingPower)
The run was canceled by @nisnislevi.
verify (verifyProposal_states.conf --rule proposalHasNonzeroDuration method_reachability)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule voteTallyChangedOnlyByVoting)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule sumOfVotes)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule onlyVoteCanChangeResult)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule votingTallyCanOnlyIncrease)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule strangerVoteUnchanged)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule voteUpdatesTally)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule otherProposalUnchanged)
The run was canceled by @nisnislevi.
verify (verifyVoting_and_tally.conf --rule otherVoterUntouched)
The run was canceled by @nisnislevi.
verify (verifyMisc.conf)
The run was canceled by @nisnislevi.
verify (verifyMisc.conf)
The operation was canceled.
verify (verifyLegality.conf --rule legalVote)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyLegality.conf --rule votedPowerIsImmutable)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyLegality.conf --rule onlyValidProposalCanChangeTally)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyLegality.conf --rule method_reachability)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPower_summary.conf --rule method_reachability)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyLegality.conf --rule createdVoteHasNonZeroHash)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyPower_summary.conf --rule onlyThreeTokens)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_config.conf --rule proposalHasNonzeroDuration newProposalUnusedId configIs...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_config.conf --rule createdProposalHasRoots)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_config.conf --rule getProposalsConfigsDoesntRevert)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_config.conf --rule method_reachability)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_states.conf --rule startsStrictlyBeforeEnds)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_states.conf --rule proposalLegalStates)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_config.conf --rule startedProposalHasConfig)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyProposal_states.conf --rule startsBeforeEnds)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636