Skip to content

ABI Layer 4: prove the FFI result-code seam is injective + faithful (… #111

ABI Layer 4: prove the FFI result-code seam is injective + faithful (…

ABI Layer 4: prove the FFI result-code seam is injective + faithful (… #111

Triggered via push June 28, 2026 06:42
Status Success
Total duration 49s
Artifacts 3
panic-attack assail
8s
panic-attack assail
Hypatia neurosymbolic scan
33s
Hypatia neurosymbolic scan
Deposit findings for gitbot-fleet
7s
Deposit findings for gitbot-fleet
Fit to window
Zoom out
Zoom in

Annotations

3 warnings and 1 notice
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:9b35b24b3a78eacb1340a4892666ceecc49b6ab85c6dadd1f5cb4d375d79038f
panic-attack-findings
171 Bytes
sha256:fdf3ec054750c45c065a7bf2f606831bb848d092a70e21be21d9a433e367459e
unified-findings
339 Bytes
sha256:3c5b6dd912bbbbdc6fbb36b1a29d5234b6b8be518d0b158cb81063a1779aa6df