diff options
author | Jordan Petridis <jordan@centricular.com> | 2022-09-02 07:21:19 +0300 |
---|---|---|
committer | Jordan Petridis <jordan@centricular.com> | 2022-09-08 12:55:18 +0300 |
commit | 4616e3225cc4475660dc2094f6453d138b0ead05 (patch) | |
tree | f7d3f367e2f3a98b3fe595aa4da84dc7613e3fe2 /.gitlab-ci.yml | |
parent | 919b60bb6ba06ddbe531a9fcc2068de2d9990466 (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.yml | 3 |
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" |