diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index a9d10061a891e31a1370c19988734329f1603362..755ea0abf7e827e4cf593b5c47a10fb58ff486c4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -19,3 +19,20 @@ gps-coq8.5.3:
   artifacts:
     paths:
     - coq/ra/build-time-full.txt
+
+gps-coq8.6:
+  tags:
+  - coq
+  script:
+  # prepare
+  - cd coq
+  - . build/opam-ci.sh 'coq 8.6' 'coq-mathcomp-ssreflect dev'
+  # build
+  - 'time make -j8'
+  cache:
+    key: "coq8.6"
+    paths:
+    - coq/opamroot/
+  only:
+  - master
+  - opam-ci