Skip to content
certora-review-forwarder

Merge pull request #96 from bgd-labs/feat/deploy-celo #176

Sign in to view logs

Merge pull request #96 from bgd-labs/feat/deploy-celo

Merge pull request #96 from bgd-labs/feat/deploy-celo #176

Triggered via push January 9, 2025 13:52
@sendrasendra
pushed 5f6002e
main
Status Success
Total duration 11m 7s
Artifacts –

certora-review-forwarder.yml

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

Annotations

7 warnings
verify (verifyCrossChainForwarder-sanity.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyCrossChainForwarder-simpleRules.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyCrossChainForwarder-encode-decode-correct.conf --rule encode_decode_well_formed_TX)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyCrossChainForwarder-shuffle.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyCrossChainForwarder-envelopRetry.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyCrossChainForwarder-newEnvelope.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (verifyCrossChainForwarder-invariants.conf)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636