diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml
index a90478e8c..09131e27f 100644
--- a/.github/workflows/dafny_interop_test_vector_java.yml
+++ b/.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/setup-dafny-action@v1.7.2
-        with:
-          dafny-version: ${{ inputs.dafny }}
-
       - name: Update MPL submodule
         working-directory: submodules/MaterialProviders
         run: |
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
index 1d26e5798..86ba24398 100644
--- a/.github/workflows/dafny_interop_test_vector_net.yml
+++ b/.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 }}