Skip to content

Wire dead test modules, add lending risk tests, and pin proxy stub behavior - #1043

Merged
nanaf6203-bit merged 1 commit into
MettaChain:mainfrom
Ibinola:feature/oracle-database-test-wiring
Aug 25, 2026
Merged

Wire dead test modules, add lending risk tests, and pin proxy stub behavior#1043
nanaf6203-bit merged 1 commit into
MettaChain:mainfrom
Ibinola:feature/oracle-database-test-wiring

Wire dead test modules, add lending risk tests, and pin proxy stub be…

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

Annotations

1 warning
Run Kani Proofs
succeeded Aug 24, 2026 in 1m 53s