From 8a3f76054de762ee64c0ec74fee216ff441ca0a7 Mon Sep 17 00:00:00 2001
From: Gregor Kleen <gregor.kleen@ifi.lmu.de>
Date: Tue, 9 Feb 2021 20:31:16 +0100
Subject: [PATCH] chore(gitlab-ci): allow_failure on manual jobs

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

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e0299ccee..3a0d7af36 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -130,6 +130,7 @@ yesod:build:dev:
   rules:
     - if: $CI_COMMIT_REF_NAME =~ /(^v[0-9].*)|((^|\/)profile($|\/))/
       when: manual
+      allow_failure: true
     - when: always
 
   retry: 2
@@ -154,6 +155,7 @@ yesod:build:
     - if: $CI_COMMIT_REF_NAME =~ /^v[0-9].*/
       when: always
     - when: manual
+      allow_failure: true
 
   retry: 2
   interruptible: true
@@ -180,6 +182,7 @@ yesod:build:profile:
     - if: $CI_COMMIT_REF_NAME =~ /(^|\/)profile($|\/)/
       when: always
     - when: manual
+      allow_failure: true
 
   retry: 2
   interruptible: true