Skip to content
Hypatia Security Scan

fix(ci): soundness gate must not assume bare dune on PATH (greens main) #1237

Sign in to view logs

fix(ci): soundness gate must not assume bare dune on PATH (greens main)

fix(ci): soundness gate must not assume bare dune on PATH (greens main) #1237

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hypatia / Hypatia Neurosymbolic Analysis
58s
58s