Repository navigation

fix(ffi): regenerate the drifted cbindgen header and gate it in CI - #277

Merged

YuanYuYuan merged 3 commits into

mainfrom

ci/ffi-header-fresh

Sep 10, 2026

Commits on Sep 9, 2026
- fix(ffi): regenerate the drifted cbindgen header
  YuanYuYuan
  committed
  087f2a5
- ci(ffi): gate the generated FFI header against cbindgen output
  YuanYuYuan
  committed
  c562383
- ci(ffi-header-fresh): pin actions to full commit SHAs
  YuanYuYuan
  committed
  26a881f