Skip to content

Refactor protocol flows around Instance and Graph state machines - #476

Merged
eigmax merged 54 commits into
GOATNetwork:devfrom
KSlashh:refactor
Oct 27, 2026
Merged

eigmax merged 54 commits into
GOATNetwork:devfrom
KSlashh:refactor

fix: pin the Ziren toolchain version in CI

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

Annotations

2 warnings and 1 notice
TLA+ Formal Verification
succeeded Oct 27, 2026 in 26s