diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7f4d6df853732fa3072fd63d013ec54d05c0a197..23a0de02cc717953c8b27edfb8c93575ff7b2cf0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -41,6 +41,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: