diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2eecabff31f8d6c77ffb1ca25493246b8bddf13d..e25090bb8546bd3c8b82833df8d9278519fbfe12 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,7 @@ 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