diff options
| author | Simon Ser <contact@emersion.fr> | 2023-04-25 11:27:50 +0200 |
|---|---|---|
| committer | Daniel Stone <daniels@collabora.com> | 2023-04-25 09:39:46 +0000 |
| commit | fbf7fc351715aa1f05763bec73f7fc1aa97bc5bd (patch) | |
| tree | 08a1521add4b376bf8abd183a5279e2b87c6b2cf | |
| parent | 77b4681f1640158e385fefc1a9140212fa71c519 (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.yml | 5 |
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 |