From 7487d53ab3869620b5cfb515916e0bdd8ca1f90b Mon Sep 17 00:00:00 2001 From: Daniel Kroening Date: Sat, 15 Jun 2024 12:34:42 -0700 Subject: [PATCH] Fix ebmc release workflow This replaces the create_release action by tubone24/update_release@v1.0, in the hope that it will publish the draft release, instead of creating another one. --- .github/workflows/ebmc-release.yaml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/.github/workflows/ebmc-release.yaml b/.github/workflows/ebmc-release.yaml index 2d12b9ab8..460a55282 100644 --- a/.github/workflows/ebmc-release.yaml +++ b/.github/workflows/ebmc-release.yaml @@ -212,15 +212,15 @@ jobs: runs-on: ubuntu-20.04 needs: [ubuntu-22_04-package, centos8-package, get-version-information, perform-draft-release] steps: - - name: Create release - uses: actions/create-release@v1 + - name: Publish release + uses: tubone24/update_release@v1.0 env: EBMC_VERSION: ${{ needs.get-version-information.outputs.version }} GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} with: tag_name: ebmc-${{ env.EBMC_VERSION }} release_name: ebmc-${{ env.EBMC_VERSION }} - release_id: ${{ needs.perform-draft-release.outputs.id }} + id: ${{ needs.perform-draft-release.outputs.id }} draft: false prerelease: false body: |