Skip to content
Hypatia Security Scan

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

Sign in to view logs

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
@hyperpolymathhyperpolymath
opened #30
claude/new-session-1fphit
Status Failure
Total duration 31s
Artifacts –

hypatia-scan.yml

on: pull_request
scan  /  Hypatia Neurosymbolic Analysis
27s
scan / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

1 error
scan / Hypatia Neurosymbolic Analysis
Process completed with exit code 1.