From 993ab515c41a0fce4d6e9b8c82fb8be084911e60 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Tue, 4 Oct 2022 13:54:43 +0200
Subject: [PATCH] [ci] disable CI targets
---
.gitlab-ci.yml | 24 +++++++++++++++++++++---
1 file changed, 21 insertions(+), 3 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 2030ae37668..1df84dbcfae 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -127,8 +127,7 @@ eva-default-tests:
CONFIG: "default"
<<: *eva_template
-eva-domains:
- <<: *eva_template
+.build_template: &eva_domains
parallel:
matrix:
- CONFIG: [
@@ -141,6 +140,25 @@ eva-domains:
"symblocs"
]
+eva-domains:
+ <<: *eva_template
+ <<: *eva_domains
+ when: manual
+
+eva-domains-nightly:
+ <<: *eva_template
+ <<: *eva_domains
+ only:
+ refs:
+ - schedules
+
+eva-domains-release:
+ <<: *eva_template
+ <<: *eva_domains
+ only:
+ variables:
+ - $RELEASE == "yes"
+
kernel-tests:
stage: tests
script:
@@ -301,7 +319,7 @@ internal_nightly:
- ./nix/build-proxy.sh default-config-tests
parallel:
matrix:
- - OCAML: ["4.08", "4.13"]
+ - OCAML: ["4.13"]
ocaml-versions:
<<: *ocaml_versions_template
--
GitLab