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