formal verification

Add an AbiDecode library for safe abi decoding (no revert) #9826

Sign in to view logs

Triggered via pull request March 5, 2026 19:45

Amxx

synchronize #6393

Amxx:feature/AbiDecode

Status Success

Total duration 10m 3s

Artifacts –

formal-verification.yml

on: pull_request