diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml index 3ea482aae0..3e49d45cb5 100644 --- a/.github/workflows/release.yml +++ b/.github/workflows/release.yml @@ -13,10 +13,13 @@ jobs: draft-release: name: 'Draft Release' runs-on: ubuntu-latest + outputs: + version: ${{ steps make-release.outputs.version }} steps: - name: 'Check out code' uses: actions/checkout@v4 - name: 'Make release' + id: 'make-release' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | @@ -27,6 +30,7 @@ jobs: --draft \ --title ${VERSION} \ --target ${{ github.sha }} + echo "version=${VERSION}" >> "$GITHUB_OUTPUT" release: name: 'Release' @@ -65,9 +69,9 @@ jobs: - name: 'Finalise release' env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + VERSION: ${{ needs.draft-release.outputs.version }} run: | set -x - VERSION=v$(cat package/version) gh release edit ${VERSION} \ --repo runtimeverification/haskell-backend \ --draft=false