Skip to content

fix some problem & refactor - #423

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

fix some problem & refactor#423
eigmax merged 8 commits into
GOATNetwork:gc-v2from
KSlashh:dev-fix

add durable heavy-task leasing

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

Annotations

2 warnings
TLA+ Formal Verification
succeeded Aug 13, 2026 in 25s