Skip to content
ABI-FFI Gate

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … #6

Sign in to view logs

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 …

ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 … #6

Triggered via push June 27, 2026 19:45
@hyperpolymathhyperpolymath
pushed bd08c30
main
Status Success
Total duration 26s
Artifacts –

abi-ffi-gate.yml

on: push
ABI ↔ FFI structural conformance
5s
ABI ↔ FFI structural conformance
Zig FFI builds + tests (Zig 0.14.0)
20s
Zig FFI builds + tests (Zig 0.14.0)
Fit to window
Zoom out
Zoom in

Annotations

2 warnings
ABI ↔ FFI structural conformance
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Zig FFI builds + tests (Zig 0.14.0)
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/checkout@v4. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/