From 2391325e0c2dce5090c26dbbefaa79bddaa62d12 Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Mon, 3 Oct 2022 08:46:46 +0200
Subject: [PATCH] [ci] fix opam pin target
---
.gitlab-ci.yml | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 1fb6ae421f7..2030ae37668 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -339,11 +339,15 @@ opam-pin:
- $RELEASE == "yes"
when: manual
-opam-pin-automatic:
+opam-pin-nightly:
<<: *opam_pin_template
only:
refs:
- schedules
+
+opam-pin-release:
+ <<: *opam_pin_template
+ only:
variables:
- $RELEASE == "yes"
--
GitLab