Skip to content

fix some problems - #421

Merged
eigmax merged 10 commits into
GOATNetwork:gc-v2from
KSlashh:dev-fix
Aug 3, 2026
Merged

fix some problems#421
eigmax merged 10 commits into
GOATNetwork:gc-v2from
KSlashh:dev-fix

update goat deps

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

Annotations

1 warning
TLA+ Formal Verification
succeeded Aug 3, 2026 in 22s