diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3c85b41232993b2734776ab26b29d80111e70443..da8b15ac80881ac1a4a23190d69969c5877b0cac 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -33,6 +33,11 @@ variables:
 
 ## Build jobs
 
+build-coq.8.8.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version 8.8.dev"
+
 build-coq.8.7.2:
   <<: *template
   variables: