Skip to content

test: integration coverage for insurance, governance, monitoring and sanctions contracts - #1052

Merged
nanaf6203-bit merged 1 commit into
MettaChain:mainfrom
authenticeasy-sys:feature/integration-tests-insurance-governance-monitoring-sanctions
Aug 25, 2026
Merged

test: integration coverage for insurance, governance, monitoring and sanctions contracts#1052
nanaf6203-bit merged 1 commit into
MettaChain:mainfrom
authenticeasy-sys:feature/integration-tests-insurance-governance-monitoring-sanctions

test: add integration coverage for insurance, governance, monitoring …

35c3796
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 2m 9s