From a632df82bfe640d2595a124358bbebc01088e8ad Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Bobot?= <francois.bobot@cea.fr>
Date: Wed, 24 Jul 2019 11:04:27 +0200
Subject: [PATCH] Bump to ocaml 4.05
---
.gitlab-ci.yml | 24 ++++++++----------------
1 file changed, 8 insertions(+), 16 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1f00f2ac6bb..bf23ee36cd2 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:
--
GitLab