mirror of
https://gitlab.freedesktop.org/libevdev/libevdev.git
synced 2025-12-20 08:00:09 +01:00
gitlab CI: add new workflow rules
Required for pipelines to run after some infrastructure changes, see https://gitlab.freedesktop.org/freedesktop/freedesktop/-/issues/438 Signed-off-by: Peter Hutterer <peter.hutterer@who-t.net>
This commit is contained in:
parent
689d1eb01c
commit
db0d4271ed
2 changed files with 10 additions and 0 deletions
|
|
@ -31,6 +31,11 @@ stages:
|
||||||
- container_clean # clean up unused container images
|
- container_clean # clean up unused container images
|
||||||
- merge-check # check for a merge request
|
- merge-check # check for a merge request
|
||||||
|
|
||||||
|
workflow:
|
||||||
|
rules:
|
||||||
|
- if: $CI_PIPELINE_SOURCE == 'merge_request_event'
|
||||||
|
- if: $CI_PIPELINE_SOURCE == 'push'
|
||||||
|
|
||||||
variables:
|
variables:
|
||||||
# The upstrem repository we will check for images
|
# The upstrem repository we will check for images
|
||||||
FDO_UPSTREAM_REPO: libevdev/libevdev
|
FDO_UPSTREAM_REPO: libevdev/libevdev
|
||||||
|
|
|
||||||
|
|
@ -27,6 +27,11 @@ stages:
|
||||||
- container_clean # clean up unused container images
|
- container_clean # clean up unused container images
|
||||||
- merge-check # check for a merge request
|
- merge-check # check for a merge request
|
||||||
|
|
||||||
|
workflow:
|
||||||
|
rules:
|
||||||
|
- if: $CI_PIPELINE_SOURCE == 'merge_request_event'
|
||||||
|
- if: $CI_PIPELINE_SOURCE == 'push'
|
||||||
|
|
||||||
variables:
|
variables:
|
||||||
# The upstrem repository we will check for images
|
# The upstrem repository we will check for images
|
||||||
FDO_UPSTREAM_REPO: libevdev/libevdev
|
FDO_UPSTREAM_REPO: libevdev/libevdev
|
||||||
|
|
|
||||||
Loading…
Add table
Reference in a new issue