diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 8b00ab32cbaf61672e583d57f87e300de23a8bf0..3969feb0f4d11406b303ba0cac5fb467bf797f8e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,8 +17,11 @@ stages:
     - make -j "$NJOBS"
 #    - make install
 
-coq:8.12:
+coq:8.18:
   extends: .build
 
-coq:8.13:
+coq:8.19:
+  extends: .build
+
+coq:8.20:
   extends: .build