From 3d5e8f3a2ec1bfc4beeb748bdcf6006686f507b5 Mon Sep 17 00:00:00 2001 From: Lasse Hinrichsen <lh1887@mi.fu-berlin.de> Date: Mon, 11 Mar 2019 11:04:31 +0100 Subject: [PATCH] Use modern CI script This introduces the same CI script also used in the other agnumpde repositories. --- .gitlab-ci.yml | 14 +++++++++----- 1 file changed, 9 insertions(+), 5 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1609a52..a2decd7 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,10 +1,14 @@ --- # Install external dependencies -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-7-libcpp-17 + script: duneci-standard-test + +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: - image: duneci/dune:git +dune:git gcc-6 C++14: + image: registry.dune-project.org/docker/ci/dune:git-debian-9-gcc-6-14 script: duneci-standard-test -- GitLab