formal verification

perf(crosschain): use parseV1Calldata in _isAuthorizedGateway #9776

Sign in to view logs

Triggered via pull request March 4, 2026 12:29

Amxx

synchronize #6341

GarmashAlex:perf/crosschain-linked-reduce-calldata-copy

Status Success

Total duration 13m 22s

Artifacts –

formal-verification.yml

on: pull_request