diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e13fc633f26b485ac033fd4b4b025062b9d9d079..8919f462d73be80cbe555349d2bbef13402c37d4 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -5,7 +5,7 @@ stages:
 
 variables:
   CPU_CORES: "10"
-  OCAML: "ocaml-base-compiler.4.13.1"
+  OCAML: "ocaml-base-compiler.4.14.0"
 
 .only_branches: &only_branches
   only:
@@ -82,7 +82,7 @@ build-coq.8.12.2:
   variables:
     OPAM_PINS: "coq version 8.12.2"
     DENY_WARNINGS: "1"
-    OCAML: "ocaml-base-compiler.4.08.1"
+    OCAML: "ocaml-base-compiler.4.07.1"
 
 build-coq.8.11.2:
   <<: *template
@@ -90,4 +90,4 @@ build-coq.8.11.2:
   variables:
     OPAM_PINS: "coq version 8.11.2"
     DENY_WARNINGS: "1"
-    OCAML: "ocaml-base-compiler.4.08.1"
+    OCAML: "ocaml-base-compiler.4.07.1"