make sure we test the newest and oldest supported Coq for MRs

.gitlab-ci.yml

@@ -44,6 +44,7 @@ variables:
 
 ## Build jobs
 
+# The newest version runs with timing.
 build-coq.8.18.0:
   <<: *template
   variables:
@@ -57,9 +58,17 @@ build-coq.8.18.0:
   - fp-timing
   interruptible: false
 
+# The newest version also runs in MRs, without timing.
+build-coq.8.18.0-mr:
+  <<: *template
+  <<: *only_mr
+  variables:
+    OPAM_PINS: "coq version 8.18.0"
+    MANGLE_NAMES: "1"
+    DENY_WARNINGS: "1"
+
 build-coq.8.17.0:
   <<: *template
-  <<: *branches_and_mr
   variables:
     OPAM_PINS: "coq version 8.17.0"
     DENY_WARNINGS: "1"
@@ -71,6 +80,7 @@ build-coq.8.16.1:
     OPAM_PINS: "coq version 8.16.1"
     DENY_WARNINGS: "1"
 
+# The oldest version runs in MRs, without name mangling.
 build-coq.8.15.2:
   <<: *template
   <<: *branches_and_mr