Skip to content

Update Certora Version for 4337 Module (#502) #921

Update Certora Version for 4337 Module (#502)

Update Certora Version for 4337 Module (#502) #921

Triggered via push December 9, 2024 08:40
Status Success
Total duration 1m 20s
Artifacts

Annotations

1 warning
checks
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636