ci: use detached CI pipelines

See [1], required to allow contributors to trigger CI pipelines
for MRs. Example failure can be found at [2].

[1]: https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/540#what-it-means-for-me-a-maintainer-of-a-project-part-of-gitlabfreedesktoporg
[2]: https://gitlab.freedesktop.org/i509VCB/wayland-protocols/-/jobs/40117393

Signed-off-by: Simon Ser <contact@emersion.fr>
This commit is contained in:
Simon Ser 2023-04-25 11:27:50 +02:00 committed by Daniel Stone
parent 77b4681f16
commit fbf7fc3517

View file

@ -16,6 +16,11 @@ stages:
variables:
FDO_UPSTREAM_REPO: wayland/wayland-protocols
workflow:
rules:
- if: $CI_PIPELINE_SOURCE == 'merge_request_event'
- if: $CI_PIPELINE_SOURCE == 'push'
.debian:
variables:
FDO_DISTRIBUTION_VERSION: bullseye