From 35a66f22fbfc55673c7d2646bffdf04d2a531e85 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?S=C3=A9bastien=20Villemot?= <sebastien@dynare.org>
Date: Fri, 2 Apr 2021 17:50:19 +0200
Subject: [PATCH] =?UTF-8?q?CI:=20set=20=E2=80=9Callow=5Ffailure:=20true?=
 =?UTF-8?q?=E2=80=9D=20for=20the=20manual=20deploy=20job?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Otherwise the pipeline will remain blocked until someone manually starts the
deploy job (see documentation of “rules” in Gitlab CI ref.).
---
 .gitlab-ci.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f7b12abc..1274ece3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -113,6 +113,7 @@ deploy_julia:
   rules:
     - if: '$CI_PROJECT_NAMESPACE == "Dynare" && $CI_COMMIT_REF_NAME == "master"'
       when: manual
+      allow_failure: true
     - when: never
   script:
     - cp -R $CI_COMMIT_SHA /srv/www.dynare.org/preprocessor/