set is_prerelease on release builds

pull/1118/head
Willy 2023-02-03 19:25:27 +01:00
parent f2d025b9ed
commit 51ec1b16a2
No known key found for this signature in database
GPG Key ID: 02E60AE5D9208602
1 changed files with 5 additions and 0 deletions

View File

@ -30,6 +30,11 @@ jobs:
TAG=$(git describe --tags)
if [ "${{ github.ref }}" = "refs/heads/$TAG" ]; then
echo "is_release=true" >> $GITHUB_OUTPUT
if [[ $TAG =~ ^v[0-9]+\.[0-9]+\.[0-9]$ ]]; then
echo "is_prerelease=false" >> $GITHUB_OUTPUT
else
echo "is_prerelease=true" >> $GITHUB_OUTPUT
fi
else
echo "is_release=false" >> $GITHUB_OUTPUT
fi