Skip to content

feat(zig-api): fix Idris2 0.8 syntax — all 7 ABI modules typecheck clean #278

feat(zig-api): fix Idris2 0.8 syntax — all 7 ABI modules typecheck clean

feat(zig-api): fix Idris2 0.8 syntax — all 7 ABI modules typecheck clean #278

Triggered via push April 12, 2026 00:32
Status Success
Total duration 1m 51s
Artifacts

codeql.yml

on: push
Matrix: analyze
Fit to window
Zoom out
Zoom in