Skip to content
ABI-FFI Gate

ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof #5

Sign in to view logs

ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof

ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof #5

Triggered via pull request June 27, 2026 19:44
@hyperpolymathhyperpolymath
opened #38
claude/new-session-znxgm7
Status Success
Total duration 20s
Artifacts –

abi-ffi-gate.yml

on: pull_request
ABI ↔ FFI structural conformance
6s
ABI ↔ FFI structural conformance
Zig FFI builds + tests (Zig 0.14.0)
17s
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/