move timing to Coq 8.7.1

.gitlab-ci.yml

@@ -5,7 +5,7 @@ variables:
 
 .template: &template
   tags:
-  - fp-timing
+  - fp
   script:
   # prepare
   - . build/opam-ci.sh $OPAM_PINS
@@ -28,15 +28,17 @@ build-coq.8.7.1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.1   coq-mathcomp-ssreflect version 1.6.4"
+  tags:
+  - fp
+  artifacts:
+    paths:
+    - build-time.txt
+    - build-env.txt
 
 build-coq.8.6.1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.6.1   coq-mathcomp-ssreflect version 1.6.4"
-  artifacts:
-    paths:
-    - build-time.txt
-    - build-env.txt
 
 build-iris.dev:
   <<: *template