Skip to content
formal verification

Perform sanity check if executionCalldata is not at the end of allocated calldata #5698

Sign in to view logs

Perform sanity check if executionCalldata is not at the end of allocated calldata

Perform sanity check if executionCalldata is not at the end of allocated calldata #5698

Triggered via pull request January 6, 2025 14:00
@AmxxAmxx
synchronize #5400
Amxx:erc7579/sanity-check-loop
Status Success
Total duration 1m 4s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
3s
apply-diff
verify
0s
verify
halmos
53s
halmos
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
apply-diff
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
halmos
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636