xserver: Branch 'master'

[GitLab Mirror]

 .gitlab-ci.yml |    2 ++
 1 file changed, 2 insertions(+)

New commits:
commit d757aabd50c27e4693721c0bd35c046ddfe7e22e
Author: Michel Dänzer <mdaenzer at redhat.com>
Date:   Fri Jan 5 10:50:34 2024 +0100

    ci: Prevent duplicate pipelines for MRs
    
    Do not create a pipeline for $CI_PIPELINE_SOURCE == 'push' if
    $CI_OPEN_MERGE_REQUESTS is set, which means there are open MRs using
    the branch as the source.

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7ec060139..423a47acb 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -147,4 +147,6 @@ check-merge-request:
 workflow:
   rules:
     - if: $CI_PIPELINE_SOURCE == 'merge_request_event'
+    - if: $CI_OPEN_MERGE_REQUESTS
+      when: never
     - if: $CI_PIPELINE_SOURCE == 'push'