From 749ac56f9c22289d5974e17ae7ca41d0be1504d3 Mon Sep 17 00:00:00 2001
From: Virgile Prevosto <virgile.prevosto@m4x.org>
Date: Thu, 9 Dec 2021 09:15:54 +0100
Subject: [PATCH] [ci] only tests lowest and highest supported OCaml versions
- remove tests for 4.09 and 4.12 (to remove some load from the server)
- do not allow failure on 4.13 (it is not in beta anymore)
---
.gitlab-ci.yml | 15 ---------------
1 file changed, 15 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index f27809a2c51..07877a1ee98 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -184,25 +184,10 @@ internal_nightly:
tags:
- nix
-frama-c-ocaml-4.09:
- variables:
- OCAML: "4_09"
- <<: *frama-c-ocaml
- only:
- - schedules
-
-frama-c-ocaml-4.12:
- variables:
- OCAML: "4_12"
- <<: *frama-c-ocaml
-
-# check compatibility with future OCaml version
frama-c-ocaml-4.13:
variables:
OCAML: "4_13"
<<: *frama-c-ocaml
- allow_failure: true
-
caveat-importer:
stage: tests
--
GitLab