Skip to content
Hypatia Security Scan

fix(ci): soundness gate must not assume bare dune on PATH (greens m… #1238

Sign in to view logs

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

fix(ci): soundness gate must not assume bare dune on PATH (greens m… #1238

Run time

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