Skip to content
formal verification

Add ERC to ERC4337 interface names #5940

Sign in to view logs

Add ERC to ERC4337 interface names

Add ERC to ERC4337 interface names #5940

Triggered via pull request January 28, 2025 22:31
@arr00arr00
opened #5468
arr00:chore/rename-4337-interfaces
Status Success
Total duration 1m 3s
Artifacts –

formal-verification.yml

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