Assign the RELEASE_VERSION variable (#3385)

This commit is contained in:
Marco Ferrari 2022-10-03 04:44:43 +02:00 committed by GitHub
parent 71fe17b02c
commit 04c32aa45a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -50,7 +50,8 @@ jobs:
>> "${GITHUB_ENV}"
if [ -z "${RELEASE_VERSION}" ]; then
echo "No release version found in environment, using input..."
echo "RELEASE_VERSION=${{ github.event.inputs.release_version }}" \
RELEASE_VERSION="${{ github.event.inputs.release_version }}"
echo "RELEASE_VERSION=${RELEASE_VERSION}" \
>> "${GITHUB_ENV}"
fi
{