Skip to content
certora

FV for Safe v1.5 Audit (#3) #27

Sign in to view logs

FV for Safe v1.5 Audit (#3)

FV for Safe v1.5 Audit (#3) #27

Triggered via push January 15, 2025 21:03
@derek-certoraderek-certora
pushed a38212b
main
Status Failure
Total duration 25s
Artifacts –

certora.yml

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

Annotations

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