Skip to content
Hypatia Security Scan

fix(ci): repair the Coq gate on main — coqc not found #1390

Sign in to view logs

fix(ci): repair the Coq gate on main — coqc not found

fix(ci): repair the Coq gate on main — coqc not found #1390

Triggered via pull request August 3, 2026 12:37
@hyperpolymathhyperpolymath
opened #711
fix/coq-gate-container
Status Success
Total duration 1m 4s
Artifacts –

hypatia-scan.yml

on: pull_request
hypatia  /  Hypatia Neurosymbolic Analysis
1m 0s
hypatia / Hypatia Neurosymbolic Analysis
Fit to window
Zoom out
Zoom in