Allow compiling the packages with dune.
Passed
Rodolphe Lepigre
created pipeline for commit
1e9cd3d6
, finished
Related merge request !552 to merge rodolphe/dune
7 minutes 29 seconds, queued for 0 seconds