diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e25090bb8546bd3c8b82833df8d9278519fbfe12..2eecabff31f8d6c77ffb1ca25493246b8bddf13d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,7 +38,6 @@ build-coq.8.11.dev:
   variables:
     OPAM_PINS: "coq version 8.11.dev"
     CI_COQCHK: "1"
-  allow_failure: true # FIXME https://github.com/coq/coq/issues/11161
 
 build-coq.8.10.1:
   <<: *template