Skip to content
certora

Certora Script Update & Minor changes #292

Sign in to view logs

Certora Script Update & Minor changes

Certora Script Update & Minor changes #292

Triggered via pull request July 22, 2024 08:26
@remedcuremedcu
opened #470
certora-script
Status Failure
Total duration 16s
Artifacts –

certora_4337.yml

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

Annotations

7 errors and 1 warning
verify (Safe4337Module)
Process completed with exit code 1.
verify (ValidationDataLastBitOne)
The job was canceled because "Safe4337Module" failed.
verify (ValidationDataLastBitOne)
Process completed with exit code 1.
verify (TransactionExecutionMethods)
The job was canceled because "Safe4337Module" failed.
verify (TransactionExecutionMethods)
Process completed with exit code 1.
verify (SignatureLengthCheck)
The job was canceled because "Safe4337Module" failed.
verify (SignatureLengthCheck)
Process completed with exit code 1.
verify (Safe4337Module)
The following actions uses Node.js version which is deprecated 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/