Skip to content
formal verification

Start initial work on ERC4337 interface and helpers #4312

Sign in to view logs

Start initial work on ERC4337 interface and helpers

Start initial work on ERC4337 interface and helpers #4312

Triggered via pull request June 12, 2024 09:15
@AmxxAmxx
synchronize #4991
Amxx:erc4337/interfaces-and-helpers
Status Success
Total duration 1m 19s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
7s
apply-diff
verify
0s
verify
halmos
1m 6s
halmos
Fit to window
Zoom out
Zoom in