From 3a3ebc0c02f8b27dd9e6d8e09d30909b043f5136 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Mon, 22 Jul 2024 15:59:40 +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 f25a216b2..3644a76a9 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -73,7 +73,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 118808829..d1dc78393 100644 --- a/.github/workflows/test_vector_verification.yml +++ b/.github/workflows/test_vector_verification.yml @@ -64,7 +64,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"