Don't interrupt compilation pipelines

Don't interrupt the compilation pipelines, instead let them finish. That will ensure the author of the change gets notified if their push breaks something.
2020-05-17 00:08:25 +01:00 · 2020-05-17 00:08:25 +01:00 · 8c3374398a
parent e662e33104
commit 8c3374398a
1 changed files with 1 additions and 1 deletions
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@ -79,7 +79,7 @@ test_formatting:
 build_linux:
  stage: build
  extends: .only_code
-  interruptible: true
+  interruptible: false
  cache:
    key: "cache-linux"
    paths: