diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7d381d409f51432821a8ec660d08e970ae03d8e2..4e4f2628c8a70cf08ea9d65aaa9fa16e01b99a62 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -173,15 +173,15 @@ manuals: # TODO: restore doc companions
   tags:
    - nix
 
-frama-c-ocaml-4.11:
-  variables:
-    OCAML: "4_11"
-  <<: *frama-c-ocaml
-
-frama-c-ocaml-4.13:
-  variables:
-    OCAML: "4_13"
-  <<: *frama-c-ocaml
+# frama-c-ocaml-4.11:
+#   variables:
+#     OCAML: "4_11"
+#   <<: *frama-c-ocaml
+
+# frama-c-ocaml-4.13:
+#   variables:
+#     OCAML: "4_13"
+#   <<: *frama-c-ocaml
 
 ################################################################################
 ### PUBLIC