formal verification

Add SimulateCall library #9406

Sign in to view logs

Triggered via pull request January 22, 2026 08:37

Amxx

synchronize #6290

ernestognw:feat/add-reverting-relayer-to-relayed-call

Status Success

Total duration 6m 34s

Artifacts –

formal-verification.yml

on: pull_request