diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index bb7da6764decf1cb7470144715b89e1765170d52..68f2debc5d746353450347a6566c8bf1793156dc 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -64,8 +64,8 @@ build-coq.8.18.0-mr:
   <<: *only_mr
   variables:
     OPAM_PINS: "coq version 8.18.0"
-    MANGLE_NAMES: "1"
     DENY_WARNINGS: "1"
+    MANGLE_NAMES: "1"
 
 build-coq.8.17.0:
   <<: *template