formal verification

Add test helper for Trie Proofs #9013

Sign in to view logs

Triggered via pull request December 15, 2025 09:26

Amxx

synchronize #6207

Amxx:feat/trie-proof

Status Success

Total duration 6m 47s

Artifacts –

formal-verification.yml

on: pull_request