From 78a6d0750e9089e1f122dc6dfd394db4fd94fa1e Mon Sep 17 00:00:00 2001 From: "Praetorius, Simon" <simon.praetorius@tu-dresden.de> Date: Mon, 3 Sep 2018 15:23:31 +0200 Subject: [PATCH] Update .gitlab-ci.yml --- .gitlab-ci.yml | 8 -------- 1 file changed, 8 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 2776cd2..0373c39 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 -- GitLab