Skip to content
certora

Audit Draft PR for Code Review #15

Sign in to view logs

Audit Draft PR for Code Review

Audit Draft PR for Code Review #15

Triggered via pull request December 19, 2024 12:29
@derek-certoraderek-certora
synchronize #3
derek/audit-new-commit
Status Failure
Total duration 27s
Artifacts –

certora.yml

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

Annotations

13 errors and 3 warnings
verify (safeToL2Migration)
Process completed with exit code 1.
verify (safeMigration)
Process completed with exit code 1.
verify (safeToL2Setup)
Process completed with exit code 1.
verify (module)
The job was canceled because "safeToL2Migration" failed.
verify (module)
Process completed with exit code 1.
verify (safe)
The job was canceled because "safeToL2Migration" failed.
verify (safe)
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 (signatures)
The job was canceled because "safeToL2Migration" failed.
verify (signatures)
The operation was canceled.
verify (safeToL2Migration)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (safeMigration)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (safeToL2Setup)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636