diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index aae3367f7f4dfff4134a7b3be760bcd118b22000..ce82024b67693a90fe3effd2af7ccf13de50ad28 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -52,6 +52,8 @@ build-coq.8.9.1:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.9.1"
+  tags:
+  - fp-timing
 
 build-coq.8.8.2:
   <<: *template