diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 5ceaf905f..b2a3f27c4 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -51,6 +51,7 @@ check_indentation: build: <<: *build_definition script: + - dune build @runtest_dune_template - make all artifacts: paths: