formal verification

Add CrosschainRemoteExecutor and GovernorCrosschain #9764

Sign in to view logs

Triggered via pull request March 3, 2026 20:36

Amxx

synchronize #6272

Amxx:crosschain/remote-executor-controller

Status Success

Total duration 13m 56s

Artifacts –

formal-verification.yml

on: pull_request