diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 101c6c575ccbef5ce2836f5d5c7eeeeeab6a74ff..894fcc502f4832625be39eea90c2ac356f37b7aa 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -59,7 +59,7 @@ build-coq.8.13.2:
   - fp-timing
 
 # Separate MR job that does not run on fp-timing.
-build-coq.8.13.2:
+build-coq.8.13.2-mr:
   <<: *template
   <<: *only_mr
   variables: