diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 706e439e145da162e7710167b3a412c7334a43f5..9e32fc724bbff1c0789ca604377085ad2140112f 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,8 +6,7 @@ cache: dune:git--gcc: image: mathiwr/dune:latest script: - - ./contrib/ci-setup - - dunecontrol --opts=/duneci/opts.gcc --current all + - dunecontrol --current all - dunecontrol --current make test only: - develop