Skip to content
formal verification

docs: fix typo in ERC1155 example contract name #9266

Sign in to view logs

docs: fix typo in ERC1155 example contract name

docs: fix typo in ERC1155 example contract name #9266

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

formal-verification.yml

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