diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 55b32250c061f57e748975a4b727dc8b20414514..68c02deaa4195ce5c7ceb2a27ae2d761c3b270bf 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -23,6 +23,12 @@ variables:
   - master
   - /^ci/
 
+
+stdpp-coq8.7:
+  <<: *template
+  variables:
+    COQ_VERSION: "8.7.dev"
+
 stdpp-coq8.6.1:
   <<: *template
   variables: