Skip to content
Hypatia Security Scan

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #110

Sign in to view logs

ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

ABI: make Idris2 proofs genuinely compile + add machine-checked theor… #110

Triggered via push June 26, 2026 14:54
@hyperpolymathhyperpolymath
pushed 412ae57
main
Status Failure
Total duration 1m 58s
Artifacts –

hypatia-scan.yml

on: push
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.