Dune build compatible with Rocq 9.0.0.
Passed
Rodolphe Lepigre
created pipeline for commit
9ec482a5
, finished
Related merge request !601 to merge rodolphe/dune-rocq
6 minutes 51 seconds, queued for 3 seconds