CI

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

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
build	1m 28s
migration-assistant	17s
bench-visibility	1m 29s
coverage-visibility	1m 31s
lint	1m 29s
vscode-smoke	34s
	6m 48s