Skip to content
certora

add virtual to _validateSignatures #1

Sign in to view logs

add virtual to _validateSignatures

add virtual to _validateSignatures #1

Triggered via pull request December 23, 2024 06:13
@karankurburkarankurbur
opened #1
karan-add-virtual-safe-modules
Status Failure
Total duration 2m 22s
Artifacts –

certora_4337.yml

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

Annotations

6 errors and 2 warnings
verify (Safe4337Module)
Process completed with exit code 1.
verify (SignatureLengthCheck)
Process completed with exit code 1.
verify (TransactionExecutionMethods)
The job was canceled because "Safe4337Module" failed.
verify (TransactionExecutionMethods)
The operation was canceled.
verify (ValidationDataLastBitOne)
The job was canceled because "Safe4337Module" failed.
verify (ValidationDataLastBitOne)
The operation was canceled.
verify (Safe4337Module)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
verify (SignatureLengthCheck)
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636