Skip to content

Migration Contract FV #709

Migration Contract FV

Migration Contract FV #709

Triggered via pull request September 16, 2024 10:07
Status Failure
Total duration 35s
Artifacts

certora.yml

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

Annotations

15 errors and 1 warning
verify (safeToL2Migration)
Process completed with exit code 1.
verify (safeMigration)
The job was canceled because "safeToL2Migration" failed.
verify (safeMigration)
The operation was canceled.
verify (safeToL2Setup)
The job was canceled because "safeToL2Migration" failed.
verify (safeToL2Setup)
The operation was canceled.
verify (nativeTokenRefund)
The job was canceled because "safeToL2Migration" failed.
verify (nativeTokenRefund)
The operation was canceled.
verify (owner)
The job was canceled because "safeToL2Migration" failed.
verify (owner)
The operation was canceled.
verify (module)
The job was canceled because "safeToL2Migration" failed.
verify (module)
The operation was canceled.
verify (safe)
The job was canceled because "safeToL2Migration" failed.
verify (safe)
The operation was canceled.
verify (signatures)
The job was canceled because "safeToL2Migration" failed.
verify (signatures)
The operation was canceled.
verify (safeToL2Migration)
The following actions use a deprecated Node.js version and will be forced to run on node20: actions/setup-python@v4. For more info: https://github.blog/changelog/2024-03-07-github-actions-all-actions-will-run-on-node20-instead-of-node16-by-default/