Merge branch 'feature/bump-ocaml-version' into 'master'

Bump to ocaml 4.05

See merge request frama-c/frama-c!2327

.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: