Skip to content
certora

Merge pull request #20 from dodger213/experimental/v1.4.1-yul-test #18

Sign in to view logs

Merge pull request #20 from dodger213/experimental/v1.4.1-yul-test

Merge pull request #20 from dodger213/experimental/v1.4.1-yul-test #18

Triggered via push August 18, 2024 08:36
@dodger213dodger213
pushed e7dad00
main
Status Failure
Total duration 3m 27s
Artifacts –

certora.yml

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

Annotations

8 errors and 1 warning
verify (module)
Process completed with exit code 2.
verify (signatures)
The job was canceled because "module" failed.
verify (nativeTokenRefund)
The job was canceled because "module" failed.
verify (nativeTokenRefund)
Process completed with exit code 2.
verify (owner)
The job was canceled because "module" failed.
verify (owner)
The operation was canceled.
verify (safe)
The job was canceled because "module" failed.
verify (safe)
The operation was canceled.
verify (module)
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/