Set all build steps to be interruptable

.gitlab-ci.yml:
Set all build steps to be interruptable, so they will be interrupted if a newer commit is pushed on the same branch,
which also triggers CI.

1 files changed, 3 insertions, 0 deletions

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 89671f8..84ae892 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -31,6 +31,7 @@ check:
   script:
     - make check
   stage: check
+  interruptible: true
 
 build_short:
   extends: .build
@@ -45,6 +46,7 @@ build_short:
       - Makefile
       - .gitlab-ci.yml
       - .gitlab/ci/*
+  interruptible: true
 
 build_long:
   extends: .build
@@ -63,3 +65,4 @@ build_long:
       - Makefile
       - .gitlab-ci.yml
       - .gitlab/ci/*
+  interruptible: true