diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d57d7218a2a714e783ba70e0e45c4cebf3f886a1..71d7124616625d0bf6e9c188b0c6d8945e863880 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,7 +3,7 @@ image: ralfjung/opam-ci:latest
 variables:
   CPU_CORES: "9"
 
-iris-coq8.6:
+gps-coq8.6:
   tags:
   - fp-timing
   script: