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