From 8d99090d4471fe4b3f607879e04b4a6c467d2ac2 Mon Sep 17 00:00:00 2001 From: Simon Praetorius <simon.praetorius@tu-dresden.de> Date: Wed, 4 Mar 2020 15:13:13 +0100 Subject: [PATCH] set dune version in gitlab-ci to 2.7 --- .gitlab-ci.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index eaf3133..2575c18 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -1,8 +1,8 @@ --- include: - - "https://gitlab.mn.tu-dresden.de/amdis/ci-config/raw/master/config/common/master.yml" - - "https://gitlab.mn.tu-dresden.de/amdis/ci-config/raw/master/jobs/common/master.yml" + - "https://gitlab.mn.tu-dresden.de/amdis/ci-config/raw/master/config/common/releases/2.7.yml" + - "https://gitlab.mn.tu-dresden.de/amdis/ci-config/raw/master/jobs/common/releases/2.7.yml" before_script: - . /duneci/bin/duneci-init-job -- GitLab