From aab17d949f6094702b89407461fd7a32989996ce Mon Sep 17 00:00:00 2001 From: Ulf Gebhardt Date: Tue, 21 Mar 2023 17:41:40 +0100 Subject: [PATCH] fixed few more problems on publish --- .github/workflows/publish.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml index 152d8cb..3134339 100644 --- a/.github/workflows/publish.yml +++ b/.github/workflows/publish.yml @@ -169,7 +169,7 @@ jobs: - name: Set OCELOT_GITHUB_RUN_NUMBER run: | if [ -z ${OCELOT_GITHUB_RUN_NUMBER} ]; then - echo "OCELOT_GITHUB_RUN_NUMBER=${GITHUB_OCELOT_REF}"" >> $GITHUB_ENV + echo "OCELOT_GITHUB_RUN_NUMBER=${GITHUB_OCELOT_REF}" >> $GITHUB_ENV fi if [ -z ${OCELOT_GITHUB_RUN_NUMBER} ]; then echo "OCELOT_GITHUB_RUN_NUMBER=master" >> $GITHUB_ENV @@ -240,7 +240,7 @@ jobs: - name: Set OCELOT_GITHUB_RUN_NUMBER run: | if [ -z ${OCELOT_GITHUB_RUN_NUMBER} ]; then - echo "OCELOT_GITHUB_RUN_NUMBER=${GITHUB_OCELOT_REF}"" >> $GITHUB_ENV + echo "OCELOT_GITHUB_RUN_NUMBER=${GITHUB_OCELOT_REF}" >> $GITHUB_ENV fi if [ -z ${OCELOT_GITHUB_RUN_NUMBER} ]; then echo "OCELOT_GITHUB_RUN_NUMBER=master" >> $GITHUB_ENV