Certora #129
Triggered via pull request
December 16, 2024 17:41
nisnislevi
Status
Success
Total duration
34m 15s
Artifacts
–
Annotations
4 warnings
|
verify (verifyVotingStrategy_unittests.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
verify (verifyGovernance.conf --rule cancellationFeeZeroForFutureProposals null_state_variable_if...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
verify (verifyGovernancePowerStrategy.conf --rule delegatePowerCompliance transferPowerCompliance...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|
|
verify (verifyGovernance.conf --rule single_state_transition_per_block_non_creator_non_guardian s...
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
|