diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7dce153959f65db1a3ed9162f19597a6c9391673..9780e14229a1b3ca34de711489e3d5b0a2a3aad5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -34,6 +34,8 @@ build-coq.8.15.1:
     OPAM_PINS: "coq version 8.15.1"
     DENY_WARNINGS: "1"
     OPAM_PKG: "1"
+  tags:
+  - fp-timing
 
 trigger-iris.dev:
   <<: *template