Welcome to mirror list, hosted at ThFree Co, Russian Federation.

gitlab.freedesktop.org/gstreamer/gst-plugins-rs.git - Unnamed repository; edit this file 'description' to name the repository.
summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJordan Petridis <jordan@centricular.com>2022-09-02 07:21:19 +0300
committerJordan Petridis <jordan@centricular.com>2022-09-08 12:55:18 +0300
commit4616e3225cc4475660dc2094f6453d138b0ead05 (patch)
treef7d3f367e2f3a98b3fe595aa4da84dc7613e3fe2 /.gitlab-ci.yml
parent919b60bb6ba06ddbe531a9fcc2068de2d9990466 (diff)
ci: allow jobs to be interrupted
Part-of: <https://gitlab.freedesktop.org/gstreamer/gst-plugins-rs/-/merge_requests/841>
Diffstat (limited to '.gitlab-ci.yml')
-rw-r--r--.gitlab-ci.yml3
1 files changed, 3 insertions, 0 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d5f50d36b..7bedbb1e0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -20,6 +20,9 @@ workflow:
- if: $CI_COMMIT_TAG
- if: $CI_COMMIT_BRANCH
+default:
+ interruptible: true
+
stages:
- "prep"
- "lint"