diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1f00f2ac6bbea3e69cab00002a094c4974a58c44..bf23ee36cd213945ac06ad6a539487ee884f923b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -167,32 +167,24 @@ internal_nightly:
   tags:
    - nix
 
-
-frama-c-ocaml-4.02:
-  variables:
-    OCAML: "4_02"
-  <<: *frama-c-ocaml
-
-frama-c-ocaml-4.03:
-  variables:
-    OCAML: "4_03"
-  <<: *frama-c-ocaml
-
-frama-c-ocaml-4.04:
-  variables:
-    OCAML: "4_04"
-  <<: *frama-c-ocaml
-
 frama-c-ocaml-4.06:
   variables:
     OCAML: "4_06"
   <<: *frama-c-ocaml
+  only:
+  - schedules
 
 frama-c-ocaml-4.07:
   variables:
     OCAML: "4_07"
   <<: *frama-c-ocaml
 
+#frama-c-ocaml-4.08:
+#  variables:
+#    OCAML: "4_08"
+#  <<: *frama-c-ocaml
+
+
 caveat-importer:
   stage: tests
   variables: