Skip to content
Mirror to Git Forges

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

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… #551

Run time

Learn about OS pricing on GitHub Actions
Job Run time
0s