Commit a0c7e86f authored by erwan's avatar erwan
Browse files

CI: dune is now necessary for the build

parent 0d6c37e1
Pipeline #28212 failed with stages
in 11 seconds