diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 0dad5bc18438e3273855dfd52b4dad663f4237c9..ae8a587b547136564cc095e7add4e246afd8683e 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,13 +2,13 @@ dune:2.6--gcc: image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-gcc-7-14 script: - - dunecontrol --current all + - dunecontrol --current --opts=/duneci/toolchain all - cmake --build build-cmake --target build_tests - cmake --build build-cmake --target test dune:2.6--clang: image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-clang-6-libcpp-17 script: - - dunecontrol --current all + - dunecontrol --current --opts=/duneci/toolchain all - cmake --build build-cmake --target build_tests - cmake --build build-cmake --target test