diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d1b91f6e7fa2a4c248b15acbce83917786376d59..ca360d48344a917435ac26d848ee6dc36f7d67a6 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