diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f5fb1f3ff1657a9e7ec066b523ce4731f5976a73..f2fcbc38cdd5589c5a3425750f4c97df60fcc325 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.8.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.8.dev"
+
 build-coq.8.8.0:
   <<: *template
   variables: