diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5297b0abd435a09948b8efd99c3bb1a79f5d670f..c6d0c9a2cc1710eefae245183886f7f4d3c4b972 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -36,13 +36,17 @@ build-coq.8.8.0:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.8.0"
+    OPAM_PKG: "coq-stdpp"
+    DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
+    TIMING_PROJECT: "stdpp"
+    TIMING_CONF: "coq-8.8.0"
+  tags:
+  - fp-timing
 
 build-coq.8.7.2:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.7.2"
-    OPAM_PKG: "coq-stdpp"
-    DOC_DIR: "coqdoc@center.mpi-sws.org:stdpp"
     TIMING_PROJECT: "stdpp"
     TIMING_CONF: "coq-8.7.2"
   tags: