From 70bcdbdf7951bc9a93ff3a1da830001d29cbdf11 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Carsten=20Gr=C3=A4ser?= <carsten.graeser@fau.de>
Date: Wed, 27 Nov 2024 14:41:51 +0100
Subject: [PATCH] [ci] Make .gitlab-ci.yml portable

Currently the CI config requires that the `core/ci-config`
project exists on the same gitlab server. This prevents
the CI from working when pushing the repository to another
server. While one may argue, that one also has to push
`core/ci-config` then, it is a very strong restriction to
require that the gitlab group `core` is available.

This can be avoided by using a gitlab remote include for those
files with a link pointing to the dune server instead of a local
include.
---
 .gitlab-ci.yml | 8 ++------
 1 file changed, 2 insertions(+), 6 deletions(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2eaa43210..2f1f82089 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,12 +3,8 @@
 
 ---
 include:
-  - project: 'core/ci-config'
-    ref: master
-    file: 'config/common/master.yml'
-  - project: 'core/ci-config'
-    ref: master
-    file: 'jobs/common/master.yml'
+  - remote: 'https://gitlab.dune-project.org/core/ci-config/raw/master/config/common/master.yml'
+  - remote: 'https://gitlab.dune-project.org/core/ci-config/raw/master/jobs/common/master.yml'
 
 before_script:
   - . /duneci/bin/duneci-init-job
-- 
GitLab