diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1e2c80183195c401ddb3ffc8ec87028501d68cea..1e31f3ca833b3f82fdcd88d7507dc34ac9e397e0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -48,8 +48,16 @@ build-coq.8.7.dev:
   except:
   - triggers
 
+build-coq.8.7.1:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.7.0"
+  except:
+  - triggers
+
 build-coq.8.7.0:
   <<: *template
+  stage: build_more
   variables:
     OPAM_PINS: "coq version 8.7.0"
   except: