Skip to content

P1: implement real Zig FFI matching the Idris2 ABI (#30) #104

P1: implement real Zig FFI matching the Idris2 ABI (#30)

P1: implement real Zig FFI matching the Idris2 ABI (#30) #104

Triggered via push June 26, 2026 22:08
Status Success
Total duration 45s
Artifacts

codeql.yml

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