Skip to content
Hypatia Security Scan

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

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) #1239

Run time

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