Skip to content
Hypatia Security Scan

P1: fix Zig FFI to build and match the Idris2 ABI #103

Sign in to view logs

P1: fix Zig FFI to build and match the Idris2 ABI

P1: fix Zig FFI to build and match the Idris2 ABI #103

Triggered via pull request June 26, 2026 22:06
@hyperpolymathhyperpolymath
opened #29
claude/new-session-1fphit
Status Failure
Total duration 33s
Artifacts –

hypatia-scan.yml

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

Annotations

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