From b2bc42a59943195891254360bd586215a791c681 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 3 Mar 2020 10:24:36 +0100
Subject: [PATCH] Revert "[CI] it is an error if wp-qualif fails"
It seems not really deterministic
This reverts commit 596ed0018a6c120259f94f07ed8ccbdcb8a1cdd0.
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d1b91f6e7fa..ca360d48344 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,6 +64,7 @@ wp-qualif:
- nix/frama-ci.sh build -A frama-c.wp-qualif
tags:
- nix
+ allow_failure: true
genassigns:
stage: tests
--
GitLab