From 04b614947c84417104c4791eea56c978b897ebd8 Mon Sep 17 00:00:00 2001 From: "Praetorius, Simon" <simon.praetorius@tu-dresden.de> Date: Mon, 3 Sep 2018 15:09:50 +0200 Subject: [PATCH] Update .gitlab-ci.yml --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index ae8a587..f4f2f9f 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 --opts=/duneci/toolchain all + - dunecontrol --current --opts=/duneci/toolchains/gcc-7-14 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 --opts=/duneci/toolchain all + - dunecontrol --current --opts=/duneci/toolchains/clang-6-libcpp-17 all - cmake --build build-cmake --target build_tests - cmake --build build-cmake --target test -- GitLab