aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorSimon Ser <contact@emersion.fr>2023-04-25 11:27:50 +0200
committerDaniel Stone <daniels@collabora.com>2023-04-25 09:39:46 +0000
commitfbf7fc351715aa1f05763bec73f7fc1aa97bc5bd (patch)
tree08a1521add4b376bf8abd183a5279e2b87c6b2cf
parent77b4681f1640158e385fefc1a9140212fa71c519 (diff)
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>
-rw-r--r--.gitlab-ci.yml5
1 files changed, 5 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cff93c8..3c7fe6a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -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