formal verification

Add SimulateCall library #9420

Sign in to view logs

Triggered via pull request January 23, 2026 20:49

ernestognw

synchronize #6290

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

Status Success

Total duration 6m 40s

Artifacts –

formal-verification.yml

on: pull_request