drm/ci/gitlab-ci.yml

136     # do not duplicate pipelines on merge pipelines
139     # merge pipeline
140 …- if: &is-merge-attempt $GITLAB_USER_LOGIN == "marge-bot" && $CI_PIPELINE_SOURCE == "merge_request…
141     # post-merge pipeline
142     - if: &is-post-merge $GITLAB_USER_LOGIN == "marge-bot" && $CI_PIPELINE_SOURCE == "push"
143     # Pre-merge pipeline
144     - if: &is-pre-merge $CI_PIPELINE_SOURCE == "merge_request_event"
160 .never-post-merge-rules:
162     - if: *is-post-merge
172     - !reference [.never-post-merge-rules, rules]
173     # Build everything in merge pipelines, if any files affecting the pipeline
175     - if: *is-merge-attempt
179     # Same as above, but for pre-merge pipelines
180     - if: *is-pre-merge
184     # Skip everything for pre-merge and merge pipelines which don't change
186     - if: *is-merge-attempt
188     - if: *is-pre-merge
244     - if: *is-pre-merge
251     - ci-fairy check-merge-request --require-allow-collaboration --junit-xml=check-merge-request.xml