Skip to content
formal verification

ERC-7786 based crosschain bridge for ERC-1155 tokens #9502

Sign in to view logs

ERC-7786 based crosschain bridge for ERC-1155 tokens

ERC-7786 based crosschain bridge for ERC-1155 tokens #9502

Triggered via pull request February 7, 2026 14:59
@AmxxAmxx
synchronize #6281
Amxx:crosschain/erc1155bridge
Status Success
Total duration 11m 22s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
5s
apply-diff
verify
0s
verify
halmos
7m 25s
halmos
Fit to window
Zoom out
Zoom in