Skip to content

Add MIN_REQUIRED_VERIFIER env for nodes - #450

Merged
eigmax merged 2 commits into
GOATNetwork:devfrom
blake-pro:feat/min-verifier-number
Aug 26, 2026
Merged

Add MIN_REQUIRED_VERIFIER env for nodes#450
eigmax merged 2 commits into
GOATNetwork:devfrom
blake-pro:feat/min-verifier-number

remove todo_funcs module

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

Annotations

2 warnings
TLA+ Formal Verification
succeeded Aug 26, 2026 in 22s