Skip to content
formal verification

docs: fix typo in ERC1155 example contract name #9268

Sign in to view logs

docs: fix typo in ERC1155 example contract name

docs: fix typo in ERC1155 example contract name #9268

Triggered via pull request January 6, 2026 22:33
@andrewshab3andrewshab3
synchronize #6265
andrewshab3:fix-typo-in-ERC1155
Status Success
Total duration 11m 59s
Artifacts –

formal-verification.yml

on: pull_request
apply-diff
4s
apply-diff
verify
0s
verify
halmos
6m 31s
halmos
Fit to window
Zoom out
Zoom in