Skip to content
Hypatia Security Scan

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… #466

Sign in to view logs

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l…

proofs(Layer 1.0): Idris2 stripping foundation — base cases + shape l… #466

Triggered via push June 2, 2026 17:26
@hyperpolymathhyperpolymath
pushed ad1faf6
main
Status Failure
Total duration 30s
Artifacts –

hypatia-scan.yml

on: push
hypatia  /  Hypatia Neurosymbolic Analysis
19s
hypatia / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
hypatia / Hypatia Neurosymbolic Analysis
Path does not exist: hypatia.sarif
hypatia / Hypatia Neurosymbolic Analysis
Process completed with exit code 1.