From dffe5306d27f391f02fb9b3a7879cc9480b6746f Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Wed, 27 Apr 2022 09:33:19 +0200
Subject: [PATCH] [ci] 4.11 and 4.13 disabled (timeout)
---
.gitlab-ci.yml | 18 +++++++++---------
1 file changed, 9 insertions(+), 9 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 7d381d409f5..4e4f2628c8a 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
--
GitLab