Skip to content

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

Merged
hyperpolymath merged 1 commit into
mainfrom
claude/fix-gate-dune-path
Jun 21, 2026
Merged

fix(ci): soundness gate must not assume bare dune on PATH (greens main)#635
hyperpolymath merged 1 commit into
mainfrom
claude/fix-gate-dune-path

fix(ci): soundness gate must not assume bare `dune` on PATH

599a889
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar