diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 39bd777603e82c4bb98f8c87a7878d8a100c949f..69ebd31169be79e1d42f518dcf9cba673227af0a 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