From e1624c6b23f97066e7450f52314eea2a5209f24b Mon Sep 17 00:00:00 2001
From: Andre Maroneze <andre.maroneze@cea.fr>
Date: Tue, 21 Jul 2020 14:45:33 +0200
Subject: [PATCH] [CI] add tests for OCaml 4.09 and 4.10
---
.gitlab-ci.yml | 13 +++++++++++++
1 file changed, 13 insertions(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 0e77d325ac3..3394befbc70 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -140,6 +140,19 @@ internal_nightly:
tags:
- nix
+frama-c-ocaml-4.09:
+ variables:
+ OCAML: "4_09"
+ <<: *frama-c-ocaml
+ only:
+ - schedules
+
+frama-c-ocaml-4.10:
+ variables:
+ OCAML: "4_10"
+ <<: *frama-c-ocaml
+
+
caveat-importer:
stage: tests
script:
--
GitLab