formal verification

Add ERC-20 Encumber Extension (ERC-7246) #9279

Sign in to view logs

Triggered via pull request January 7, 2026 16:00

arr00

synchronize #6250

arr00:feat/erc-7246

Status Success

Total duration 9m 45s

Artifacts –

formal-verification.yml

on: pull_request