gitlab-ci: CI is now forbidden on MR run by passing-by contributors.

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
This commit is contained in:
Jehan 2023-11-15 17:05:34 +01:00
parent b95252ff0c
commit edae8e81cf

View File

@ -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: