From a945c13aa655cf59a4931fec8af9205df22bb92a Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 11 Jul 2024 17:32:43 +0000 Subject: [PATCH] chore(deps): bump actions/setup-dotnet from 3 to 4 in /.github/workflows Bumps [actions/setup-dotnet](https://github.com/actions/setup-dotnet) from 3 to 4. - [Release notes](https://github.com/actions/setup-dotnet/releases) - [Commits](https://github.com/actions/setup-dotnet/compare/v3...v4) --- updated-dependencies: - dependency-name: actions/setup-dotnet dependency-type: direct:production update-type: version-update:semver-major ... Signed-off-by: dependabot[bot] --- .github/workflows/library_dafny_verification.yml | 2 +- .github/workflows/test_vector_verification.yml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index dda360ec6..da7b1d4ad 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -50,7 +50,7 @@ jobs: # dafny-reportgenerator requires next6 # but only 7.0 is installed on macos-12-large - name: Setup .NET Core SDK '6.0.x' - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: "6.0.x" diff --git a/.github/workflows/test_vector_verification.yml b/.github/workflows/test_vector_verification.yml index e6de4b5f6..644169ea6 100644 --- a/.github/workflows/test_vector_verification.yml +++ b/.github/workflows/test_vector_verification.yml @@ -41,7 +41,7 @@ jobs: # dafny-reportgenerator requires next6 # but only 7.0 is installed on macos-12-large - name: Setup .NET Core SDK '6.0.x' - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: "6.0.x"