diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3b0f4edbdf58d3e84f673c1612c0b6521ce27bcc..2cf821db8e41aac691b35b7cb35a7e3b3a4af5f3 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -31,5 +31,3 @@ build-coq.8.10.2:
   <<: *template
   variables:
     OPAM_PINS: "coq version 8.10.2"
-  tags:
-  - fp-timing