From db58afdc39d49d3389dee5def707ab6bdc534182 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Tue, 30 Apr 2019 10:13:23 +0200
Subject: [PATCH] CI: allow the failure for the test_opam_test job
Indeed, it may fail if an ADT changes in lutils or rdbg-plugin, since
this repo can only be updated if the whole pipeline succeeds (to be
able te get the release number). The idea is to rerun this job manually
when it is the case.
---
.gitlab-ci.yml | 9 +++++++--
1 file changed, 7 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b4923001..65fcf25c 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -25,8 +25,13 @@ test_opam_test:
- opam update
- opam install -y lustre-v6
- lv6 -help
-
-test_opam_on_mac:
+ allow_failure: true
+# may fail if an ADT changes in lutils or rdbg-plugin, since this repo
+# can only be updated if the whole pipeline succeeds (to be able te get
+# the release number). The idea is to rerun this job manually when it
+# is the case.
+
+.test_opam_on_mac:
stage: test
tags:
- macos
--
GitLab