Skip to content

Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties - #1051

Merged
nanaf6203-bit merged 3 commits into
MettaChain:mainfrom
khaadish:feature/expand-contract-test-coverage
Aug 25, 2026
Merged

Expand test coverage: dex competitions/cross-chain, governance private voting, insurance triggers, staking penalties#1051
nanaf6203-bit merged 3 commits into
MettaChain:mainfrom
khaadish:feature/expand-contract-test-coverage

ci: temporarily disable smoke gate

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

Annotations

1 warning
Run Kani Proofs
succeeded Aug 25, 2026 in 1m 28s