Skip to content

Update to dune 2

Update to dune 2 #889

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

succeeded Oct 28, 2024 in 2m 51s