Adjust dune bound - #48

Merged

jmid merged 3 commits into

mainfrom

adjust-dune-bound

Sep 9, 2026

Commits on Sep 9, 2026

Bump requirement so with-test requires dune.3.22.0
jmid
committed
ed65bfc
Update cram tests to expect _build/trace.csexp rather than _build/log
jmid
committed
a793aa7
run dune build single threaded in test suite
jmid
committed
7243195