Skip to content
formal verification

docs: fix typo in ERC1155 example contract name #9267

Sign in to view logs

docs: fix typo in ERC1155 example contract name

docs: fix typo in ERC1155 example contract name #9267

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

formal-verification.yml

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