chore: Fix lean-ffi - #395

Merged

samuelburnham merged 8 commits into

May 6, 2026

Commits on May 6, 2026

Fix lean-ffi
samuelburnham
committed
d7a480d
Fmt
samuelburnham
committed
526953a
More lean-ffi fixes
samuelburnham
committed
668a4b8
More lean-ffi fixes
samuelburnham
committed
46040e7
Fix `kernel-ixon-roundtrip` test
samuelburnham
committed
e0f941c
fix Valgrind test
samuelburnham
committed
21ebd4c
comment out `rust-decompile`
samuelburnham
committed
22a7b84
Prep for review
samuelburnham
committed
c121192