Skip to content

Fix/open audit - #456

Merged
eigmax merged 9 commits into
GOATNetwork:devfrom
blake-pro:fix/open-audit
Sep 4, 2026
Merged

Fix/open audit#456
eigmax merged 9 commits into
GOATNetwork:devfrom
blake-pro:fix/open-audit

fmt

b66e28c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

2 warnings
TLA+ Formal Verification
succeeded Sep 4, 2026 in 27s