From 3070213d27cf41608a4ee7ab9d3f2a7d18e9ea4f Mon Sep 17 00:00:00 2001 From: Tomasz Godzik Date: Wed, 30 Aug 2023 10:56:36 +0200 Subject: [PATCH] bugfix: Release mtagsShared together with mtags when running single version release --- .github/workflows/release.yml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index a8b91d6957b..329b7f093c2 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -36,7 +36,7 @@ jobs: METALS_VERSION=$(echo $GITHUB_REF_NAME | cut -d "_" -f2 | cut -c2-) SCALA_VERSION=$(echo $GITHUB_REF_NAME | cut -d "_" -f3) if [ ! -z $METALS_VERSION ] && [ ! -z $SCALA_VERSION ]; then - export CI_RELEASE="++$SCALA_VERSION! mtags/publishSigned" + export CI_RELEASE="++$SCALA_VERSION! mtags/publishSigned mtagsShared/publishSigned" UPDATE_DOCS=false COMMAND="; set ThisBuild/version :=\"$METALS_VERSION\"; $COMMAND" else