diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8ab85ac5c05a8870df09ef77cb295a5aa31f21f3..d12deede26d6409affe38d8052beb049a039a69a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,7 +42,6 @@ opam:
 
 build-coq.8.7.dev:
   <<: *template
-  stage: build_more
   variables:
     OPAM_PINS: "coq version 8.7.dev"
   artifacts: