diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 225d73becdfaf8062324d63883a01fd7849ef44f..8b5f29fb75f7537c33bfee56151378e9b8c15886 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,14 +5,8 @@ before_script: dune:git--clang: image: duneci/dune:git - script: - - dunecontrol --opts=/duneci/opts.clang --current all - - dunecontrol --current make build_tests - - dunecontrol --current make test + script: duneci-standard-test dune:git--gcc: image: duneci/dune:git - script: - - dunecontrol --opts=/duneci/opts.gcc --current all - - dunecontrol --current make build_tests - - dunecontrol --current make test + script: duneci-standard-test --opts=/duneci/opts.clang