diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index cde597d6fd2729b14d6361398b29dcd54c33b860..a331281ba7c72bc2d4ee0c65f21456c765c60712 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"