diff options
author | Jehan <jehan@girinstud.io> | 2023-11-15 17:05:34 +0100 |
---|---|---|
committer | Jehan <jehan@girinstud.io> | 2023-11-15 17:09:19 +0100 |
commit | edae8e81cfb8092496f94da1a306c4c9f0ce32bb (patch) | |
tree | fa3566c651ad13f056c1a098a237ed9d7d74a7e2 | |
parent | b95252ff0ca63a008094da4333347de0cf415bfc (diff) |
So apparently Freedesktop CI won't run on non-official project or
non-known developers Gitlab namespaces. In particular, it makes CI fail
on merge requests by such passing-by contributors!
Adding these small rules is supposed to allow such jobs to run anyway.
See: https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540
-rw-r--r-- | .gitlab-ci.yml | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 8ae2a36..5933203 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -6,6 +6,13 @@ stages: variables: GIT_DEPTH: "1" +# New rule necessary to allow CI to run for merge requests of external contributors. +# See: https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540 +workflow: + rules: + - if: $CI_PIPELINE_SOURCE == 'merge_request_event' + - if: $CI_PIPELINE_SOURCE == 'push' + ## GNU/Linux 64-bit CIs ## debian/testing-gcc: |