metrics: block-proposal attestation build observability - #753

Open

ch4r10t33r wants to merge 5 commits into

leanEthereum:mainfrom

ch4r10t33r:metrics-block-proposal-attestation-build

Commits on May 21, 2026

metrics: add lean_block_proposal attestation build metrics
ch4r10t33r
committed
7c9dcc2
merge: resolve main into metrics-block-proposal-attestation-build
ch4r10t33r
committed
39fcd86
metrics: rename proposal build phase compact_ffi to compact
ch4r10t33r
committed
cb2d066
style: ruff format spec.py — collapse short observe() calls onto one line
ch4r10t33r
committed
c557a96
testing: fix aggregate skip_trivial_inputs for block filler and tests
ch4r10t33r
committed
377343f