diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 159a62b25..470614817 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -49,7 +49,7 @@ jobs: # Will be available in steps.version.outputs.version - name: Get version string - run: echo "::set-output name=version::$(./bin/buildinfo.py short)" + run: echo "::set-output name=version::$(./bin/buildinfo.py long)" id: version - name: Build everything diff --git a/bin/promote-release.sh b/bin/promote-release.sh index 70dce868f..b4828dd68 100755 --- a/bin/promote-release.sh +++ b/bin/promote-release.sh @@ -2,10 +2,10 @@ set -e echo "This script is only for developers who are publishing new builds on github. Most users don't need it" -VERSION=`bin/buildinfo.py short` +VERSION=`bin/buildinfo.py long` # Must have a V prefix to trigger github -git tag -f "v${VERSION}" -git push root -f "v${VERSION}" # push the tag +git tag "v${VERSION}" +git push root "v${VERSION}" # push the tag echo "Tag ${VERSION} pushed to github, github actions should now be building the draft release. If it seems good, click to publish it"