Skip to content

fix(bridge)+perf(lending)+feat(traits): close #736, #738, #737 - #862

Merged
nanaf6203-bit merged 3 commits into
MettaChain:mainfrom
RUKAYAT-CODER:fix/bridge-store-decode
Jul 29, 2026
Merged

fix(bridge)+perf(lending)+feat(traits): close #736, #738, #737#862
nanaf6203-bit merged 3 commits into
MettaChain:mainfrom
RUKAYAT-CODER:fix/bridge-store-decode

feat(traits): VerificationKind enum and aggregate_verifications scaff…

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

Annotations

1 warning
Run Kani Proofs
succeeded Jul 29, 2026 in 56s