formal verification

Add BlockHeader library for parsing and verifying RLP-encoded block headers #9809

Sign in to view logs

Triggered via pull request March 5, 2026 10:58

Amxx

opened #6395

Amxx:feature/blockheaders

Status Success

Total duration 14m 18s

Artifacts –

formal-verification.yml

on: pull_request