Skip to content

refactor: enhance ERC6372 behavior test with detailed checks #4794

refactor: enhance ERC6372 behavior test with detailed checks

refactor: enhance ERC6372 behavior test with detailed checks #4794

Triggered via pull request September 19, 2024 08:59
Status Success
Total duration 1m 11s
Artifacts

formal-verification.yml

on: pull_request
Fit to window
Zoom out
Zoom in