Skip to content
Snippets Groups Projects

CI: install dune properly on the docker image

Failed
erwan created pipeline for commit 7cb731a2
, finished
For master
3 jobs 1 minute 19 seconds, queued for 2 seconds