From 9940430d2400dbb696f5e694269d73a2bd8f5e3f Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Fri, 1 Feb 2019 14:05:18 +0100
Subject: [PATCH] Switch CI to gcc8

---
 .gitlab-ci.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b0df61c7..c04981ac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,8 +11,8 @@ before_script:
   - duneci-install-module --recursive https://gitlab.dune-project.org/dominic/dune-opcounter.git
   - duneci-install-module --recursive https://gitlab.dune-project.org/marcel.koch/consistent-edge-orientation.git
 
-git-debian-10-gcc-7-14:
-  image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-gcc-7-14"
+git-debian-10-gcc-8-noassert-17:
+  image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-gcc-8-noassert-17"
   script: duneci-standard-test
   tags:
     - "cores:20"
-- 
GitLab