Skip to content
Certora

[Certora] Delegation invariant #77

Sign in to view logs

[Certora] Delegation invariant

[Certora] Delegation invariant #77

Triggered via pull request December 4, 2024 16:56
@colin-morphocolin-morpho
synchronize #102
colin@verif/delegation-invariants
Status Failure
Total duration 6m 30s
Artifacts –

certora.yml

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

Annotations

4 errors and 8 warnings
verify (ERC20Optimism)
Process completed with exit code 1.
verify (ERC20Ethereum)
Process completed with exit code 1.
verify (DelegationOptimism)
Process completed with exit code 1.
verify (DelegationEthereum)
Process completed with exit code 1.
verify (ExternalCallsOptimism)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ExternalCallsEthereum)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ERC20Optimism)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ERC20Ethereum)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (DelegationOptimism)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (DelegationEthereum)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ERC20InvariantsEthereum)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (ERC20InvariantsOptimism)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636