Skip to content

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

chore(deps): update Lean binaries to 0.1.0 (a4192a170a)

93eb396
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar