Skip to content
CI

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

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

Run time

Learn about OS pricing on GitHub Actions
Job Run time
coverage-visibility
3m 22s
vscode-smoke
34s
build
3m 42s
migration-assistant
20s
bench-visibility
3m 21s
lint
3m 30s
14m 49s