fix(ci): soundness gate must not assume bare dune on PATH (greens main)
#775
spark-theatre-gate.yml
on: pull_request
spark-theatre-gate
/
SPARK Theatre Gate
6s