Skip to content
formal verification

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

Sign in to view logs

ERC-7786 based crosschain bridge for ERC-1155 tokens

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

Triggered via pull request February 2, 2026 13:00
@AmxxAmxx
synchronize #6281
Amxx:crosschain/erc1155bridge
Status Success
Total duration 7m 0s
Artifacts –

formal-verification.yml

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