diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2e88890be5973eb45f1e9ab0c98fc6cf5b83323b..89a6285ec2e323525353abc1933eb6677798625d 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -44,7 +44,6 @@ variables:
 
 build-coq.8.16.dev:
   <<: *template
-  <<: *branches_and_mr
   variables:
     OPAM_PINS: "coq version 8.16+rc1"