Skip to content
formal verification

Fix broken NatSpec cross-references in Account and AccessManager #10212

Sign in to view logs

Fix broken NatSpec cross-references in Account and AccessManager

Fix broken NatSpec cross-references in Account and AccessManager #10212

Triggered via pull request May 16, 2026 23:04
@akhilesharoraakhilesharora
synchronize #6526
akhilesharora:fix/natspec-xrefs
Status Success
Total duration 6m 51s
Artifacts –

formal-verification.yml

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