Skip to content

Update to dune 2

Update to dune 2 #887

build-and-test (ubuntu-latest, 5.0, false, true, *.opam )

succeeded Oct 25, 2024 in 2m 50s