mirror of
https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git
synced 2024-11-22 19:41:00 +00:00
ci: avoid spawning 2 pipelines for each commit
When an MR is open, you can have both a normal and a "detached" pipeline. They have different properties, but a detached pipeline is enough for us and identical to the normal one, so we can avoid the extra load on the CI. https://docs.gitlab.com/ee/ci/jobs/job_control.html#avoid-duplicate-pipelines https://docs.gitlab.com/ee/ci/yaml/index.html#switch-between-branch-pipelines-and-merge-request-pipelines
This commit is contained in:
parent
96d86eaa06
commit
610f98dc2d
1 changed files with 10 additions and 0 deletions
|
@ -10,6 +10,16 @@ include:
|
|||
variables:
|
||||
FDO_UPSTREAM_REPO: gstreamer/gst-plugins-rs
|
||||
|
||||
workflow:
|
||||
rules:
|
||||
- if: $CI_MERGE_REQUEST_IID
|
||||
# don't create a pipeline if its a commit pipeline, on a branch and that branch has
|
||||
# open merge requests (bc we will get a MR build instead)
|
||||
- if: $CI_OPEN_MERGE_REQUESTS
|
||||
when: never
|
||||
- if: $CI_COMMIT_TAG
|
||||
- if: $CI_COMMIT_BRANCH
|
||||
|
||||
stages:
|
||||
- "prep"
|
||||
- "lint"
|
||||
|
|
Loading…
Reference in a new issue