diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 1fb6ae421f7fc137af0f678cc2118e5cce4877f8..2030ae3766801c6a8b01650307035c0485ad383f 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"