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](actions/setup-dotnet@v3...v4)

---
updated-dependencies:
- dependency-name: actions/setup-dotnet
  dependency-type: direct:production
  update-type: version-update:semver-major
...

Signed-off-by: dependabot[bot] <[email protected]>

.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'
 

.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'
 

.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 }}
 

.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"
 

.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 }}
 

.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'
 

.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 }}
 

.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'