chore(GHA): fix test vector dafny interop (#1291)

Author: josecorella

.github/workflows/dafny_interop_test_vector_java.yml

@@ -56,11 +56,6 @@ jobs:
         with:
           dafny-version: ${{ inputs.mpl-dafny }}
 
-      - name: Setup Dafny
-        uses: dafny-lang/[email protected]
-        with:
-          dafny-version: ${{ inputs.dafny }}
-
       - name: Update MPL submodule
         working-directory: submodules/MaterialProviders
         run: |

.github/workflows/dafny_interop_test_vector_net.yml

@@ -22,7 +22,7 @@ jobs:
   testDotNet:
     strategy:
       matrix:
-        library: [DynamoDbEncryption, TestVectors]
+        library: [TestVectors]
         dotnet-version: ["6.0.x"]
         os: [macos-12, ubuntu-latest, windows-latest]
     runs-on: ${{ matrix.os }}