From 596ed0018a6c120259f94f07ed8ccbdcb8a1cdd0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Tue, 25 Feb 2020 14:24:01 +0100
Subject: [PATCH] [CI] it is an error if wp-qualif fails
The cache makes the tests deterministic
---
.gitlab-ci.yml | 1 -
1 file changed, 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index ca360d48344..d1b91f6e7fa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,7 +64,6 @@ wp-qualif:
- nix/frama-ci.sh build -A frama-c.wp-qualif
tags:
- nix
- allow_failure: true
genassigns:
stage: tests
--
GitLab