Skip to content
certora

Merge pull request #1 from worldcoin/karan-add-virtual-safe-modules #2

Sign in to view logs

Merge pull request #1 from worldcoin/karan-add-virtual-safe-modules

Merge pull request #1 from worldcoin/karan-add-virtual-safe-modules #2

Triggered via push December 23, 2024 06:14
@karankurburkarankurbur
pushed 60dc191
main
Status Failure
Total duration 2m 28s
Artifacts –

certora_4337.yml

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

Annotations

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