From c57c5580ed1614117ce01d27d5cb76a2285c651d Mon Sep 17 00:00:00 2001
From: Simon Praetorius <simon.praetorius@tu-dresden.de>
Date: Sun, 30 Sep 2018 16:08:19 -0400
Subject: [PATCH] gitlab ci script updated

---
 .gitlab-ci.yml | 33 ++++++++++++++++++++++-----------
 1 file changed, 22 insertions(+), 11 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 6509423d..879d20d3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1,16 +1,27 @@
 ---
-cache:
-  paths:
-  - install/
-
 variables:
   GIT_SUBMODULE_STRATEGY: recursive
 
-dune:git--gcc:
-  image: mathiwr/dune:latest
+debian:10 gcc-8-17:
+  image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-gcc-8-17
+  script:
+  - duneci-standard-test
+  - dunecontrol --current make examples
+
+debian:10 clang-6-libcpp-17:
+  image: registry.dune-project.org/docker/ci/dune:2.6-debian-10-clang-6-libcpp-17
+  script:
+  - duneci-standard-test
+  - dunecontrol --current make examples
+
+debian:9 gcc-6-14:
+  image: registry.dune-project.org/docker/ci/dune:2.6-debian-9-gcc-6-14
+  script:
+  - duneci-standard-test
+  - dunecontrol --current make examples
+
+ubuntu:18.04 clang-6-17:
+  image: registry.dune-project.org/docker/ci/dune:2.6-ubuntu-18.04-clang-6-17
   script:
-  - dunecontrol --current all
-  - dunecontrol --current make build_tests
-  - dunecontrol --current make test
-  only:
-  - develop
+  - duneci-standard-test
+  - dunecontrol --current make examples
-- 
GitLab