From 5979c036ac16d79da258cc1bee69e6c9ade8b8e9 Mon Sep 17 00:00:00 2001 From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com> Date: Thu, 9 Jan 2025 00:01:58 +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/dafny_interop_test_net.yml | 2 +- .github/workflows/dafny_interop_test_vector_net.yml | 4 ++-- .github/workflows/library_codegen.yml | 2 +- .github/workflows/library_dafny_verification.yml | 2 +- .github/workflows/library_interop_test_vectors.yml | 4 ++-- .github/workflows/library_interop_tests.yml | 4 ++-- .github/workflows/library_legacy_interop_test_vectors.yml | 2 +- .github/workflows/library_net_tests.yml | 4 ++-- 8 files changed, 12 insertions(+), 12 deletions(-) diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml index d7c83596f..0b0cb1a39 100644 --- a/.github/workflows/dafny_interop_test_net.yml +++ b/.github/workflows/dafny_interop_test_net.yml @@ -56,7 +56,7 @@ jobs: fetch-depth: 0 - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x' diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index 66e9438a1..af48b3d50 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -55,7 +55,7 @@ jobs: fetch-depth: 0 - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x' @@ -165,7 +165,7 @@ jobs: fetch-depth: 0 - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x' diff --git a/.github/workflows/library_codegen.yml b/.github/workflows/library_codegen.yml index 90922d0fe..18b4bfb7b 100644 --- a/.github/workflows/library_codegen.yml +++ b/.github/workflows/library_codegen.yml @@ -48,7 +48,7 @@ jobs: dafny-version: ${{ inputs.dafny }} - name: Setup .NET Core SDK ${{ matrix.dotnet-version }} - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: ${{ matrix.dotnet-version }} diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml index c97c33fd0..0fe1c2e94 100644 --- a/.github/workflows/library_dafny_verification.yml +++ b/.github/workflows/library_dafny_verification.yml @@ -41,7 +41,7 @@ jobs: # dafny-reportgenerator requires next6 # but only 7.0 is installed on macos-13-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/library_interop_test_vectors.yml b/.github/workflows/library_interop_test_vectors.yml index 36f83068e..61f9bee02 100644 --- a/.github/workflows/library_interop_test_vectors.yml +++ b/.github/workflows/library_interop_test_vectors.yml @@ -55,7 +55,7 @@ jobs: # Set up runtimes - name: Setup .NET Core SDK ${{ matrix.dotnet-version }} if: matrix.language == 'net' - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: ${{ matrix.dotnet-version }} @@ -234,7 +234,7 @@ jobs: # Set up runtimes - name: Setup .NET Core SDK ${{ matrix.dotnet-version }} if: matrix.decrypting_language == 'net' - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: ${{ matrix.dotnet-version }} diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml index a2e162743..c0e9f9e80 100644 --- a/.github/workflows/library_interop_tests.yml +++ b/.github/workflows/library_interop_tests.yml @@ -55,7 +55,7 @@ jobs: role-session-name: NetTests - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x' @@ -153,7 +153,7 @@ jobs: role-session-name: NetTests - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x' diff --git a/.github/workflows/library_legacy_interop_test_vectors.yml b/.github/workflows/library_legacy_interop_test_vectors.yml index 75257db64..7b25c5af8 100644 --- a/.github/workflows/library_legacy_interop_test_vectors.yml +++ b/.github/workflows/library_legacy_interop_test_vectors.yml @@ -61,7 +61,7 @@ jobs: # Set up runtimes - name: Setup .NET Core SDK ${{ matrix.dotnet-version }} if: matrix.language == 'net' - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: ${{ matrix.dotnet-version }} diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml index c50c854e6..a25ac6a4c 100644 --- a/.github/workflows/library_net_tests.yml +++ b/.github/workflows/library_net_tests.yml @@ -62,7 +62,7 @@ jobs: role-session-name: NetTests - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x' @@ -168,7 +168,7 @@ jobs: role-session-name: NetTestVectors - name: Setup .NET Core SDK 6 - uses: actions/setup-dotnet@v3 + uses: actions/setup-dotnet@v4 with: dotnet-version: '6.0.x'