Skip to content
formal verification

ERC-7786 based crosschain bridge for ERC-721 tokens #9606

Sign in to view logs

ERC-7786 based crosschain bridge for ERC-721 tokens

ERC-7786 based crosschain bridge for ERC-721 tokens #9606

Triggered via pull request February 19, 2026 16:12
@AmxxAmxx
synchronize #6259
Amxx:crosschain/erc721bridge
Status Success
Total duration 8m 2s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
6s
apply-diff
verify
verify
halmos
7m 24s
halmos
Fit to window
Zoom out
Zoom in