diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d19ece9c84e1d59c89d247a503eb1080eca96c99..d75eb4626878c317db2bc9bfd65518cfee746586 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -32,9 +32,6 @@ build-coq.dev:
   variables:
     OPAM_PINS: "coq version dev"
     CI_COQCHK: "1"
-    TIMING_CONF: "coq-dev"
-  tags:
-  - fp-timing
 
 build-coq.8.11.dev:
   <<: *template