Skip to content

feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI diff (standards#92 Phase 1)#13

Merged
hyperpolymath merged 1 commit into
mainfrom
feat/abi-verify-phase1
May 20, 2026
Merged

feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI diff (standards#92 Phase 1)#13
hyperpolymath merged 1 commit into
mainfrom
feat/abi-verify-phase1

feat(abi-verify): structural ABI gate — Idris2 manifest ↔ Zig FFI dif…

7cca1ea
Select commit
Loading
Failed to load commit list.
GitHub Advanced Security / CodeQL completed May 20, 2026 in 1s

Error when processing the SARIF file

This check concluded as neutral.