chore(deps): bump actions/setup-go from 4 to 5 (#5020)

Bumps [actions/setup-go](https://github.com/actions/setup-go) from 4 to 5. Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
dafny-lang · Jan 30, 2024 · dcc302a · dcc302a
1 parent acd804e
commit dcc302a
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.github/workflows/integration-tests-reusable.yml b/.github/workflows/integration-tests-reusable.yml
@@ -89,7 +89,7 @@ jobs:
  java-version: 18
  distribution: corretto
  - name: Set up oldest supported Go
- uses: actions/setup-go@v4
+ uses: actions/setup-go@v5
  with:
  go-version: '1.15'
  - name: Set up goimports

diff --git a/.github/workflows/runtime-tests.yml b/.github/workflows/runtime-tests.yml
@@ -30,7 +30,7 @@ jobs:
  java-version: 18
  distribution: corretto
  - name: Set up Go
- uses: actions/setup-go@v4
+ uses: actions/setup-go@v5
  with:
  go-version: '1.15'
  - name: Set up goimports

diff --git a/.github/workflows/standard-libraries.yml b/.github/workflows/standard-libraries.yml
@@ -29,7 +29,7 @@ jobs:
  java-version: 18
  distribution: corretto
  - name: Set up Go
- uses: actions/setup-go@v4
+ uses: actions/setup-go@v5
  with:
  go-version: '1.15'
  - name: Set up goimports