Skip to content

P1: implement real Zig FFI matching the Idris2 ABI #103

P1: implement real Zig FFI matching the Idris2 ABI

P1: implement real Zig FFI matching the Idris2 ABI #103

Triggered via pull request June 26, 2026 22:04
Status Success
Total duration 1m 9s
Artifacts

codeql.yml

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