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