From b42a2f4029ac1a764628ad9e4e7eacd83515d771 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 15 Nov 2024 15:07:17 +0100
Subject: [PATCH] [ci] add manual targets for opam
---
.gitlab-ci.yml | 10 ++++++++--
1 file changed, 8 insertions(+), 2 deletions(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index b6bc32e53f..6722b7c993 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -526,11 +526,13 @@ additional-arch-release:
matrix:
- OCAML: ["5.2"]
-# Uncomment this block when there are intermediate versions to check manully
+# Uncomment this block when there are intermediate versions to check manually
+# Beware that some targets may fail if the target job does not provide the
+# version (for example Opam provide version N but Nix does not)
.build_template: &ocaml_manual_additional_versions_template
parallel:
matrix:
- - OCAML: ["5.1"]
+ - OCAML: ["5.1", "5.3"]
when: manual
.build_template: &ocaml_versions_template
@@ -574,6 +576,10 @@ opam-pin:
<<: *opam_pin_template
<<: *manual_when_not_special_pipeline
+opam-pin-manual:
+ <<: *opam_pin_template
+ <<: *ocaml_manual_additional_versions_template
+
opam-pin-nightly:
<<: *opam_pin_template
<<: *when_schedules
--
GitLab