Repository navigation

feat(ffi): sync src/ffi with Nethermind 1e5d1fa8a0 for native ABI 10 - #2

Merged

rubo merged 2 commits into

mainfrom

feature/lean-ffi-abi-10

Nov 11, 2026

Merged

feat(ffi): sync src/ffi with Nethermind 1e5d1fa8a0 for native ABI 10#2
rubo merged 2 commits into
mainfrom
feature/lean-ffi-abi-10

Commits on Nov 11, 2026
- feat(ffi): sync src/ffi with Nethermind 1e5d1fa8a0 for native ABI 10
  
  manusw7
  and
  claude
  committed
  a4192a1
- chore(deps): update Lean binaries to 0.1.0 (a4192a170a)
  github-actions[bot]
  committed
  93eb396