diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 3661466d0917085a1a23043c43d51072442a2891..0a827b81ef53e13958a4c524eb3340285334cec0 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -191,11 +191,18 @@ frama-c-ocaml-4.09:
   only:
   - schedules
 
-frama-c-ocaml-4.10:
+frama-c-ocaml-4.12:
   variables:
-    OCAML: "4_10"
+    OCAML: "4_12"
   <<: *frama-c-ocaml
 
+# check compatibility with future OCaml version
+frama-c-ocaml-4.13:
+  variables:
+    OCAML: "4_13"
+  <<: *frama-c-ocaml
+  allow_failure: true
+
 
 caveat-importer:
   stage: tests