diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml index f87a0d207790e14f23f37cf41feed46586a06e9f..b9b208d5d8186d2cf6a71526db35b893da5315d0 100644 --- a/.gitlab-ci.yml +++ b/.gitlab-ci.yml @@ -72,6 +72,7 @@ release: PLUGIN_FULL_NAME: "Frama-Clang" REPO: "frama-clang" RELEASE_OPTS: "--assume-yes" + DEFAULT: "plugin-release-script" script: - ./nix/ci.sh when: manual