From 5a11b530818ab69ff35a601544559c3d5a51ca80 Mon Sep 17 00:00:00 2001
From: rulrich <ralf.m.ulrich@kit.edu>
Date: Wed, 15 Jul 2020 08:54:04 +0200
Subject: [PATCH] failure

---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index cb746cecd..ff84b5817 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -237,6 +237,7 @@ test-clang-8:
     - ctest -j4 -VV | gzip -v -9 > test.log.gz 
   rules:
     - if: '$CI_MERGE_REQUEST_ID && $CI_MERGE_REQUEST_TITLE =~ /^WIP:/'
+      allow_failure: false
     - if: $CI_MERGE_REQUEST_ID
       when: manual
       allow_failure: true
-- 
GitLab