Revert "[CI] it is an error if wp-qualif fails"

It seems not really deterministic This reverts commit 596ed001.

Revert "[CI] it is an error if wp-qualif fails"
It seems not really deterministic This reverts commit 596ed001.
b2bc42a5 · François Bobot · 40c130c9 · b2bc42a5
Commit b2bc42a5 authored 5 years ago by François Bobot
--- 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