Switch to dune.3.8 to allow dune to run test partitions concurrently #40

Closed

hhugo wants to merge 4 commits intojanestreet:masterfrom hhugo:dune-3.8

+10-5

Commits on May 25, 2023

Bump dune lang to 3.8
Hugo Heuzard
committed
inline test backend now uses partition
Hugo Heuzard
committed
bump dune version dep
Hugo Heuzard
committed

Commits on Sep 29, 2023

Merge branch 'master' into dune-3.8
hhugo
authored