diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 5051e63d4181e09315fdf39db857d154ccf24585..1cdd0330618f81ea66b046530c6e15d36b524cb6 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -38,6 +38,11 @@ opam:
   only:
   - master
 
+build-coq8.7.dev:
+  <<: *template
+  variables:
+    COQ_VERSION: "8.7.dev"
+
 build-coq8.7:
   <<: *template
   variables: