Skip to content
safe-modules-4337

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

Sign in to view logs

Update Certora Version for 4337 Module (#502)

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

Triggered via push December 9, 2024 08:40
@nlordellnlordell
pushed d4f5936
main
Status Success
Total duration 3m 25s
Artifacts –

ci_4337.yml

on: push
tests
1m 17s
tests
e2e
3m 16s
e2e
lint
1m 5s
lint
Fit to window
Zoom out
Zoom in

Annotations

3 warnings
lint
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
tests
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636
e2e
ubuntu-latest pipelines will use ubuntu-24.04 soon. For more details, see https://github.com/actions/runner-images/issues/10636