From a88c3e4aad2b202439f26081226e91e63f49aa57 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 11 Mar 2024 14:53:31 +0100 Subject: [PATCH] chore(deps): bump softprops/action-gh-release from 1 to 2 (#5173) Signed-off-by: dependabot[bot] Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com> --- .github/workflows/publish-release-reusable.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/publish-release-reusable.yml b/.github/workflows/publish-release-reusable.yml index 9a7578d41ee..a86b9e1edeb 100644 --- a/.github/workflows/publish-release-reusable.yml +++ b/.github/workflows/publish-release-reusable.yml @@ -147,7 +147,7 @@ jobs: - name: Create GitHub release (release) if: ${{ !inputs.prerelease }} - uses: softprops/action-gh-release@v1 + uses: softprops/action-gh-release@v2 with: name: Dafny ${{ inputs.name }} tag_name: ${{ inputs.tag_name }} @@ -162,7 +162,7 @@ jobs: # This step is separate from the release one because the refman is omitted - name: Create GitHub release (prerelease) if: ${{ inputs.prerelease }} - uses: softprops/action-gh-release@v1 + uses: softprops/action-gh-release@v2 with: name: Dafny ${{ inputs.name }} tag_name: ${{ inputs.tag_name }}