The FFI compiles under Zig 0.13 but links only with system liboqs; ci.yml builds OCaml+Idris only, so the Zig layer rotted silently until #56 fixed 6 compile errors. Add at least zig ast-check over ffi/zig/ to CI; decide whether CI installs liboqs for a full link. Related: GitHub's automatic .NET dependency submission ran a doomed submit-nuget job here — dependabot.yml pruned in PR #59; if the auto-run persists, disable Settings → Code security → Dependency graph → Automatic dependency submission. Source: ffi/zig/build.zig:20, .github/workflows/ci.yml.
https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ
The FFI compiles under Zig 0.13 but links only with system liboqs;
ci.ymlbuilds OCaml+Idris only, so the Zig layer rotted silently until #56 fixed 6 compile errors. Add at leastzig ast-checkoverffi/zig/to CI; decide whether CI installs liboqs for a full link. Related: GitHub's automatic .NET dependency submission ran a doomedsubmit-nugetjob here — dependabot.yml pruned in PR #59; if the auto-run persists, disable Settings → Code security → Dependency graph → Automatic dependency submission. Source:ffi/zig/build.zig:20,.github/workflows/ci.yml.https://claude.ai/code/session_01GJatEm2TVFSTBEkKXmserJ