Skip to content

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

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

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

Triggered via push June 26, 2026 22:08
Status Success
Total duration 1m 15s
Artifacts 3
panic-attack assail
7s
panic-attack assail
Hypatia neurosymbolic scan
26s
Hypatia neurosymbolic scan
Deposit findings for gitbot-fleet
6s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

1 error, 3 warnings, and 1 notice
Hypatia neurosymbolic scan
Process completed with exit code 1.
panic-attack assail
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Hypatia neurosymbolic scan
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02, erlef/setup-beam@e6d7c94229049569db56a7ad5a540c051a010af9. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
Deposit findings for gitbot-fleet
Node.js 20 is deprecated. The following actions target Node.js 20 but are being forced to run on Node.js 24: actions/download-artifact@fa0a91b85d4f404e444e00e005971372dc801d16, actions/upload-artifact@ea165f8d65b6e75b540449e92b4886f43607fa02. For more information see: https://github.blog/changelog/2025-09-19-deprecation-of-node-20-on-github-actions-runners/
panic-attack assail
panic-attack binary not available — skipping assail

Artifacts

Produced during runtime
Name Size Digest
hypatia-findings
161 Bytes
sha256:4fa083088ea6eadb83eca1cc20ceb83663e9b0be43ec5ed5312558645abd8423
panic-attack-findings
171 Bytes
sha256:dd6e78309e3948745f387fdacebef885f3ebe4d13ef4934901ddb9e2dba1052c
unified-findings
341 Bytes
sha256:8bce3702b2f34e740dc808be46af0d9dffb5868c93c2591b3446248eb9c8804f