diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3d8dfe290d5d559e9b7e54fc99a9622ce5361647..e326bbffba2863fe8fb99094a892c385c7eaa63a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,11 @@ build-coq.dev:
     OPAM_PINS: "coq version dev"
     VALIDATE: "1"
 
+build-coq.8.9.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.9.dev"
+
 build-coq.8.8.2:
   <<: *template
   variables: