Add CI which generates leanSpec test assets, and publishes them in leanEthereum/leanSpec release like execution-spec/consensus-spec publish
May 10, 2026 · #711
Python
Difficulty: Medium
Labels
good first issue help wanted
Parent Repository
leanEthereum/leanSpec
Python repository
128 69