Skip to content

Dev fix - #449

Merged
eigmax merged 2 commits into
GOATNetwork:devfrom
KSlashh:dev-fix
Aug 26, 2026
Merged

Dev fix#449
eigmax merged 2 commits into
GOATNetwork:devfrom
KSlashh:dev-fix

update bitvm-gc deps

246663f
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 27s