diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 20b0761798a6d3d0b0cd0f647cb2836db57f58e8..b37f02c6995efed239caf8b7cf94e2323d52afc1 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -3,6 +3,7 @@ image: ralfjung/opam-ci:latest
 stages:
   - build
   - deploy
+  - build_more
 
 variables:
   CPU_CORES: "9"
@@ -51,6 +52,7 @@ reverse-deps:
 
 build-coq.8.7.dev:
   <<: *template
+  stage: build_more
   variables:
     OPAM_PINS: "coq version 8.7.dev   coq-mathcomp-ssreflect version dev"
   except: