Commit 7cb731a2 authored by erwan's avatar erwan
Browse files

CI: install dune properly on the docker image

parents 014974fb 881a4122
Pipeline #28216 failed with stages
in 1 minute and 19 seconds