diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8b5f29fb75f7537c33bfee56151378e9b8c15886..e0888b714e1918653402bfe1614ca829d238d426 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -5,8 +5,8 @@ before_script: dune:git--clang: image: duneci/dune:git - script: duneci-standard-test + script: duneci-standard-test --opts=/duneci/opts.clang dune:git--gcc: image: duneci/dune:git - script: duneci-standard-test --opts=/duneci/opts.clang + script: duneci-standard-test