Skip to content

Reconcile Echo identity evidence and record Agda checks #728

Reconcile Echo identity evidence and record Agda checks

Reconcile Echo identity evidence and record Agda checks #728

Triggered via pull request November 1, 2026 17:59
Status Failure
Total duration 45s
Artifacts –

hypatia-scan.yml

on: pull_request
Hypatia Neurosymbolic Analysis
40s
Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in

Annotations

2 errors
Hypatia Neurosymbolic Analysis
Process completed with exit code 1.
Hypatia Neurosymbolic Analysis
Hypatia reported 1 critical finding(s)