mirror of
https://gitlab.freedesktop.org/xorg/xserver.git
synced 2025-12-20 05:50:04 +01:00
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.
This commit is contained in:
parent
995e60a919
commit
d757aabd50
1 changed files with 2 additions and 0 deletions
|
|
@ -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'
|
||||
|
|
|
|||
Loading…
Add table
Reference in a new issue