Skip to content
formal verification

Add ERC to ERC4337 interface names #5941

Sign in to view logs

Add ERC to ERC4337 interface names

Add ERC to ERC4337 interface names #5941

Triggered via pull request January 28, 2025 22:34
@arr00arr00
labeled #5468
arr00:chore/rename-4337-interfaces
Status Success
Total duration 56s
Artifacts –

formal-verification.yml

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