diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0e77d325ac3156584628e1529367a2e2aabacf9b..3394befbc709bec2d77dbc1603508d8c0e8f786e 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -140,6 +140,19 @@ internal_nightly:
   tags:
    - nix
 
+frama-c-ocaml-4.09:
+  variables:
+    OCAML: "4_09"
+  <<: *frama-c-ocaml
+  only:
+  - schedules
+
+frama-c-ocaml-4.10:
+  variables:
+    OCAML: "4_10"
+  <<: *frama-c-ocaml
+
+
 caveat-importer:
   stage: tests
   script: