Skip to content
Certora

Merge pull request #100 from morpho-org/verif/munged-up #82

Sign in to view logs

Merge pull request #100 from morpho-org/verif/munged-up

Merge pull request #100 from morpho-org/verif/munged-up #82

Triggered via push December 5, 2024 12:11
@MathisGDMathisGD
pushed 665326c
main
Status Success
Total duration 7m 39s
Artifacts –

certora.yml

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

Annotations

6 warnings
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 (DelegationEthereum)
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 (ERC20Ethereum)
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