diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 66bc2ef6968e2a50b04d88644fa6d00d5440b030..1eac897169f00f5ed687fb759192066c1936fb85 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -11,7 +11,7 @@ variables:
 .template: &template
   stage: build
   tags:
-  - fp-timing
+  - fp
   script:
   # prepare
   - . build/opam-ci.sh $OPAM_PINS
@@ -64,6 +64,12 @@ build-coq.8.7.1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.1   coq-mathcomp-ssreflect version 1.6.4"
+  tags:
+  - fp-timing
+  artifacts:
+    paths:
+    - build-time.txt
+    - build-env.txt
   except:
   - triggers
 
@@ -79,9 +85,5 @@ 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
   except:
   - triggers