mirror of
https://gitlab.freedesktop.org/wayland/wayland.git
synced 2025-10-29 05:40:16 -04:00
ci: use detached MR pipelines
See the freedesktop wiki [1]. This allows external contributors to have CI run properly. [1]: https://gitlab.freedesktop.org/freedesktop/freedesktop/-/wikis/GitLab-CI#for-project-developers Signed-off-by: Simon Ser <contact@emersion.fr>
This commit is contained in:
parent
58bb6c7211
commit
efa648056a
1 changed files with 7 additions and 0 deletions
|
|
@ -62,6 +62,13 @@ stages:
|
||||||
- "Build and test"
|
- "Build and test"
|
||||||
- "Other build configurations"
|
- "Other build configurations"
|
||||||
|
|
||||||
|
workflow:
|
||||||
|
rules:
|
||||||
|
- if: $CI_PIPELINE_SOURCE == "merge_request_event"
|
||||||
|
- if: $CI_COMMIT_BRANCH && $CI_OPEN_MERGE_REQUESTS
|
||||||
|
when: never
|
||||||
|
- if: $CI_COMMIT_BRANCH
|
||||||
|
|
||||||
.ci-rules:
|
.ci-rules:
|
||||||
rules:
|
rules:
|
||||||
- when: on_success
|
- when: on_success
|
||||||
|
|
|
||||||
Loading…
Add table
Add a link
Reference in a new issue