diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b67f23ee4e6a536ba493761751341c5bb451b5e0..bc9551c276331e5248285a55796a1220bca14c06 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -2,7 +2,7 @@ image: ralfjung/opam-ci:latest
 
 iris-coq8.5.3:
   tags:
-  - coq
+  - fp-timing
   script:
   # prepare
   - . build/opam-ci.sh 'coq 8.5.3' 'coq-mathcomp-ssreflect 1.6.1'
@@ -16,8 +16,6 @@ iris-coq8.5.3:
     paths:
     - opamroot/
   only:
-  - master
-  - ci
   - iris-3.0
   artifacts:
     paths:
@@ -25,7 +23,7 @@ iris-coq8.5.3:
 
 iris-coq8.6:
   tags:
-  - coq
+  - fp-timing
   script:
   # prepare
   - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect 1.6.1'
@@ -36,6 +34,4 @@ iris-coq8.6:
     paths:
     - opamroot/
   only:
-  - master
-  - ci
   - iris-3.0