Skip to content
certora

Safe yul compatibility with test suite #17

Sign in to view logs

Safe yul compatibility with test suite

Safe yul compatibility with test suite #17

Triggered via pull request August 18, 2024 08:36
@dodger213dodger213
synchronize #20
experimental/v1.4.1-yul-test
Status Failure
Total duration 3m 13s
Artifacts –

certora.yml

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

Annotations

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