Skip to content

chore: fix param typo #893

chore: fix param typo

chore: fix param typo #893

Re-run triggered January 22, 2025 09:59
Status Failure
Total duration 28s
Artifacts

certora.yml

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

Annotations

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