From 2bbc5f61f9a21be5677a546c4f81f8739b939e5a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Steffen=20M=C3=BCthing?=
<steffen.muething@iwr.uni-heidelberg.de>
Date: Tue, 3 Jul 2018 18:31:28 +0200
Subject: [PATCH] Switch to new CI images
---
.gitlab-ci.yml | 10 +++++-----
1 file changed, 5 insertions(+), 5 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8986a857..2c7c2a08 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -6,16 +6,16 @@ before_script:
- echo "Running make concurrently with ${DUNECI_PARALLEL} cores, where possibly"
- patches/apply_patches.sh
-git--gcc:
- image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git
+git-debian-10-gcc-7-14:
+ image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-gcc-7-14"
script: duneci-standard-test
tags:
- "cores:20"
- "perftool"
-git--clang:
- image: registry.dune-project.org/joe/dune-perftool-ci/perftool-base:git
- script: duneci-standard-test --opts=/duneci/opts.clang
+git-debian-10-clang-6-libcpp-17:
+ image: "registry.dune-project.org/docker/ci/dune-pdelab:git-debian-10-clang-6-libcpp-17"
+ script: duneci-standard-test
tags:
- "cores:20"
- "perftool"
--
GitLab