formal verification

Add ERC20TransferAuthorization following ERC-3009 #9672

Sign in to view logs

Triggered via pull request February 26, 2026 01:50

ernestognw

synchronize #6354

ernestognw:feat/erc-3009

Status Success

Total duration 7m 48s

Artifacts –

formal-verification.yml

on: pull_request