From d3c2e0569eedce217ac74f81212ebcc44bc5d2c5 Mon Sep 17 00:00:00 2001
From: Jonathan Youett <youett@math.fu-berlin.de>
Date: Thu, 2 Aug 2018 09:57:34 +0200
Subject: [PATCH] Adjust to changes of the CI configuration

---
 .gitlab-ci.yml | 13 ++++++++-----
 1 file changed, 8 insertions(+), 5 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index dc6c8b4..5bc0d57 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,8 +1,11 @@
 ---
-dune:git--clang:
-  image: duneci/dune:git
-  script: duneci-standard-test --opts=/duneci/opts.clang
+dune:git  clang  C++17:
+  image: registry.dune-project.org/docker/ci/dune:git-debian-10-clang-6-libcpp-17
+  script: duneci-standard-test
 
-dune:git--gcc:
-  image: duneci/dune:git
+dune:git  gcc-8  C++17:
+  image: registry.dune-project.org/docker/ci/dune:git-debian-10-gcc-8-17
   script: duneci-standard-test
+
+dune:git  gcc-6  C++14:
+  image: registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14
-- 
GitLab