From a6b8ddb1358f675a94b4239c406d905d0ab26814 Mon Sep 17 00:00:00 2001
From: Dominic Kempf <dominic.kempf@iwr.uni-heidelberg.de>
Date: Fri, 18 Jan 2019 13:37:43 +0000
Subject: [PATCH] Switch to clang 7

---
 .gitlab-ci.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b99dd44e..568a0001 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,7 +19,7 @@ git-debian-10-gcc-7-14:
     - "perftool"
 
 git-debian-10-clang-6-libcpp-17:
-  image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-clang-6-libcpp-17"
+  image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-clang-7-libcpp-17"
   script: duneci-standard-test
   tags:
     - "cores:20"
-- 
GitLab