diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2776cd2ca8065f94d883d1ba1ee246939516a002..0373c39dc6d7e85dd70aabd779006b01fbd6f7e0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -2,23 +2,15 @@ debian:10 gcc-8-17: image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-gcc-8-17 script: duneci-standard-test - variables: - DUNECI_TOOLCHAIN: gcc-8-17 debian:10 clang-6-libcpp-17: image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-clang-6-libcpp-17 script: duneci-standard-test - variables: - DUNECI_TOOLCHAIN: clang-6-libcpp-17 debian:9 gcc-6-14: image: registry.dune-project.org/docker/ci/dune:2.6-debian-9-gcc-6-14 script: duneci-standard-test - variables: - DUNECI_TOOLCHAIN: gcc-6-14 ubuntu:18.04 clang-6-17: image: registry.dune-project.org/docker/ci/dune:2.6-ubuntu-18.04-clang-6-17 script: duneci-standard-test - variables: - DUNECI_TOOLCHAIN: clang-6-17