Skip to content
certora

Docs: Update README #713

Sign in to view logs

Docs: Update README

Docs: Update README #713

Triggered via pull request September 18, 2024 10:40
@mmv08mmv08
synchronize #831
Olexandr88:patch-1
Status Failure
Total duration 27s
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 (module)
The job was canceled because "safeToL2Migration" failed.
verify (module)
Process completed with exit code 1.
verify (safeMigration)
The job was canceled because "safeToL2Migration" failed.
verify (safeMigration)
Process completed with exit code 1.
verify (nativeTokenRefund)
The job was canceled because "safeToL2Migration" failed.
verify (nativeTokenRefund)
Process completed with exit code 1.
verify (safe)
The job was canceled because "safeToL2Migration" failed.
verify (safe)
Process completed with exit code 1.
verify (safeToL2Setup)
The job was canceled because "safeToL2Migration" failed.
verify (safeToL2Setup)
The operation was canceled.
verify (signatures)
The job was canceled because "safeToL2Migration" failed.
verify (signatures)
Process completed with exit code 1.
verify (owner)
The job was canceled because "safeToL2Migration" failed.
verify (owner)
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/