diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f3a0aae6f58009123427732b2a81167e599e5856..2cc2051fafc66d413ab07409d755512daa5dfde5 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -26,11 +26,11 @@ variables:
 
 ## Build jobs
 
-#build-coq.dev:
-#  <<: *template
-#  variables:
-#    OPAM_PINS: "coq version dev"
-#    VALIDATE: "1"
+build-coq.dev:
+  <<: *template
+  variables:
+    OPAM_PINS: "coq version dev"
+    VALIDATE: "1"
 
 build-coq.8.8.dev:
   <<: *template