diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index c4e4bfbf14f60d950d06a5052b70d0772672edad..4e64ad33edb6b63840c7de9a2acceb67d3bbc854 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -50,7 +50,7 @@ build-coq.dev:
 build-coq.8.15.0:
   <<: *template
   variables:
-    OCAML: "ocaml-base-compiler.4.13.0"
+    OCAML: "ocaml-base-compiler.4.14.0"
     OPAM_PINS: "coq version 8.15.0"
     DENY_WARNINGS: "1"
     MANGLE_NAMES: "1"