diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index 37547487c8eedc3d6e3771a11343540a7ba32e12..cde597d6fd2729b14d6361398b29dcd54c33b860 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -73,7 +73,6 @@ lint: stage: compatibility variables: CI_MODE: "check-opam" - DEFAULT: "plugin-release-script" script: - ./nix/ci.sh @@ -103,7 +102,6 @@ release: PLUGIN_FULL_NAME: "MetAcsl" REPO: "meta" RELEASE_OPT: "--assume-yes" - DEFAULT: "plugin-release-script" script: - ls -la - ./nix/ci.sh