diff options
| author | Michel Dänzer <mdaenzer@redhat.com> | 2019-12-23 10:06:25 +0100 |
|---|---|---|
| committer | Peter Hutterer <peter.hutterer@who-t.net> | 2019-12-23 22:01:59 +0000 |
| commit | b1ee4036bfd59dfd506ed8312b63edffc913b1c1 (patch) | |
| tree | 5b9185c45adb74b3a66855aee024d370a2eed016 | |
| parent | 1e9c63beddb3010bb1f6eb96679410ca0aca037e (diff) | |
gitlab-ci: Mark jobs as interruptible
Allowing redundant pipelines to be automatically cancelled.
| -rw-r--r-- | .gitlab-ci.yml | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 6dc7de8bf..d80e5e848 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -30,12 +30,14 @@ stages: - docker-image - build-and-test -# Retry jobs after runner system failures .ci-run-policy: + # Retry jobs after runner system failures retry: max: 2 when: - runner_system_failure + # Cancel CI run if a newer commit is pushed to the same branch + interruptible: true debian-testing: extends: |