Skip to content

CI: run `dune build` as it might fail even if dune build install works

Danny Willems requested to merge fix-build into master

and fix dune build error

Merge request reports