From 758add017da163a231adcb6db8cd33668477c458 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <graeser@mi.fu-berlin.de>
Date: Wed, 21 Mar 2018 14:33:59 +0100
Subject: [PATCH] Reduce CI coverage for debugging, DON'T MERGE THIS TO MASTER!
---
.gitlab-ci.yml | 23 -----------------------
1 file changed, 23 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2702f60..f220d7d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -8,30 +8,7 @@ before_script:
- duneci-install-module https://gitlab.dune-project.org/core/dune-istl.git
- duneci-install-module https://gitlab.dune-project.org/staging/dune-typetree.git
-debian:10 gcc:c++17:
- image: duneci/base:10
- script: duneci-standard-test
- variables: {DUNECI_OPTS: /duneci/opts.gcc.c++17}
- tags: [duneci]
-
-debian:9--gcc:
- image: duneci/base:9
- script: duneci-standard-test
- tags: [duneci]
-
-debian:9--clang:
- image: duneci/base:9
- script: duneci-standard-test
- variables: {DUNECI_OPTS: /duneci/opts.clang}
- tags: [duneci]
-
ubuntu:16.04--gcc:
image: duneci/base:16.04
script: duneci-standard-test
tags: [duneci]
-
-ubuntu:16.04--clang:
- image: duneci/base:16.04
- script: duneci-standard-test
- variables: {DUNECI_OPTS: /duneci/opts.clang}
- tags: [duneci]
--
GitLab