set up CI for MRs

.gitlab-ci.yml

@@ -6,7 +6,23 @@ stages:
 variables:
   CPU_CORES: "10"
 
+.only_branches: &only_branches
+  only:
+  - /^master/@iris/stdpp
+  - /^ci/@iris/stdpp
+
+.only_mr: &only_mr
+  only:
+  - merge_requests
+
+.branches_and_mr: &branches_and_mr
+  only:
+  - /^master/@iris/stdpp
+  - /^ci/@iris/stdpp
+  - merge_requests
+
 .template: &template
+  <<: *only_branches
   stage: build
   tags:
   - fp
@@ -17,9 +33,6 @@ variables:
     key: "$CI_JOB_NAME"
     paths:
     - _opam/
-  only:
-  - master@iris/stdpp
-  - /^ci/@iris/stdpp
   except:
   - triggers
   - schedules
@@ -45,6 +58,15 @@ build-coq.8.13.2:
   tags:
   - fp-timing
 
+# Separate MR job that does not run on fp-timing.
+build-coq.8.13.2:
+  <<: *template
+  <<: *only_mr
+  variables:
+    OPAM_PINS: "coq version 8.13.2"
+    MANGLE_NAMES: "1"
+    DENY_WARNINGS: "1"
+
 build-coq.8.12.2:
   <<: *template
   variables:
@@ -58,5 +80,6 @@ build-coq.8.11.2:
 
 build-coq.8.10.2:
   <<: *template
+  <<: *branches_and_mr
   variables:
     OPAM_PINS: "coq version 8.10.2"