mirror of
https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git
synced 2024-11-22 19:41:00 +00:00
ci: allow jobs to be interrupted
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs/-/merge_requests/841>
This commit is contained in:
parent
919b60bb6b
commit
4616e3225c
1 changed files with 3 additions and 0 deletions
|
@ -20,6 +20,9 @@ workflow:
|
||||||
- if: $CI_COMMIT_TAG
|
- if: $CI_COMMIT_TAG
|
||||||
- if: $CI_COMMIT_BRANCH
|
- if: $CI_COMMIT_BRANCH
|
||||||
|
|
||||||
|
default:
|
||||||
|
interruptible: true
|
||||||
|
|
||||||
stages:
|
stages:
|
||||||
- "prep"
|
- "prep"
|
||||||
- "lint"
|
- "lint"
|
||||||
|
|
Loading…
Reference in a new issue