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