Skip to content
certora

FV for Safe v1.5 Audit #14

Sign in to view logs

FV for Safe v1.5 Audit

FV for Safe v1.5 Audit #14

Triggered via pull request December 18, 2024 14:43
@derek-certoraderek-certora
synchronize #3
derek/audit-new-commit
Status Failure
Total duration 33s
Artifacts –

certora.yml

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

Annotations

15 errors and 1 warning
verify (signatures)
Process completed with exit code 1.
verify (nativeTokenRefund)
The job was canceled because "signatures" failed.
verify (nativeTokenRefund)
Process completed with exit code 1.
verify (safeMigration)
The job was canceled because "signatures" failed.
verify (safeMigration)
Process completed with exit code 1.
verify (safeToL2Setup)
The job was canceled because "signatures" failed.
verify (safeToL2Setup)
Process completed with exit code 1.
verify (module)
The job was canceled because "signatures" failed.
verify (module)
Process completed with exit code 1.
verify (safe)
The job was canceled because "signatures" failed.
verify (safe)
The operation was canceled.
verify (owner)
The job was canceled because "signatures" failed.
verify (owner)
The operation was canceled.
verify (safeToL2Migration)
The job was canceled because "signatures" failed.
verify (safeToL2Migration)
The operation was canceled.
verify (signatures)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636