formal verification

Add ERC20TransferAuthorization following ERC-3009 #10225

Sign in to view logs

Triggered via pull request May 18, 2026 19:56

Amxx

synchronize #6354

ernestognw:feat/erc-3009

Status Success

Total duration 7m 22s

Artifacts –

formal-verification.yml

on: pull_request