diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e43224029b731b254f58d7f71b9e1293b0e7c4ff..6b3c9a0ca3f74dd097e9dc135882e4e4df0c4946 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -42,6 +42,12 @@ build-coq.dev:
     OPAM_PINS: "coq version dev"
     VALIDATE: "1"
 
+build-coq.8.8.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.8.dev"
+    VALIDATE: "1"
+
 build-coq.8.7.2:
   <<: *template
   variables: