diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index b88b5ed5a7703f2afa34985aa420b1b139c1f90a..47ef9a67876bfe3194f1c2b915fb8686ad0f6627 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -95,8 +95,6 @@ release: <<: *manual_template <<: *when_release stage: release - needs: - - check-opam variables: CI_MODE: "release" PLUGIN_FULL_NAME: "MetAcsl"