From 5d64820989d825db828506c0216990c41a5bb3bf Mon Sep 17 00:00:00 2001
From: Allan Blanchard <allan.blanchard@cea.fr>
Date: Fri, 5 Aug 2022 11:28:50 +0200
Subject: [PATCH] [ci] fix opam pin
---
.gitlab-ci.yml | 1 +
1 file changed, 1 insertion(+)
diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index 39bd777603e..69ebd31169b 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -335,6 +335,7 @@ opam-pin:
- schedules
variables:
- $RELEASE == "yes"
+ when: manual
opam-pin-automatic:
<<: *opam_pin_template
--
GitLab