diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5603364f9cceee47d860f4b255b8ae568ab372c4..494f1e4369d704815d28a34e95f45bc15b80ffd5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -49,6 +49,7 @@ build-coq.8.17.0:
     OPAM_PINS: "coq version 8.17.0"
     DENY_WARNINGS: "1"
   only:
+  - main@lgaeher/refinedrust-dev
   - /^ci/@lgaeher/refinedrust-dev
 
 trigger-iris.dev: