Skip to content
Snippets Groups Projects
Commit 70bcdbdf authored by Carsten Gräser's avatar Carsten Gräser Committed by Carsten Gräser
Browse files

[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.
parent 038d9506
No related branches found
No related tags found
Loading
Checking pipeline status
Loading
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment