formal verification

docs(TrieProof): `event` -> `receipt` #9258

Sign in to view logs

Triggered via pull request January 5, 2026 18:47

davidperk

opened #6261

davidperk:event

Status Success

Total duration 6m 52s

Artifacts –

formal-verification.yml

on: pull_request