Skip to content
Hypatia Security Scan

iseriser: make Phase 0 ABI proofs genuinely compile and verify #161

Sign in to view logs

iseriser: make Phase 0 ABI proofs genuinely compile and verify

iseriser: make Phase 0 ABI proofs genuinely compile and verify #161

Triggered via pull request June 26, 2026 11:21
@hyperpolymathhyperpolymath
synchronize #67
claude/iseriser-proofs-review-rtdcwb
Status Failure
Total duration 34s
Artifacts –

hypatia-scan.yml

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

Annotations

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