diff --git a/.github/workflows/dafny_interop_test_vector_java.yml b/.github/workflows/dafny_interop_test_vector_java.yml
index 09131e27f..d011430cd 100644
--- a/.github/workflows/dafny_interop_test_vector_java.yml
+++ b/.github/workflows/dafny_interop_test_vector_java.yml
@@ -77,6 +77,7 @@ jobs:
           # This works because `node` is installed by default on GHA runners
           CORES=$(node -e 'console.log(os.cpus().length)')
           make build_java CORES=$CORES
+          make mvn_local_deploy
 
       - name: Setup DBESDK Dafny
         uses: dafny-lang/setup-dafny-action@v1.7.2
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
index 86ba24398..a6de57f63 100644
--- a/.github/workflows/dafny_interop_test_vector_net.yml
+++ b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -90,8 +90,8 @@ jobs:
         working-directory: ${{matrix.library}}
         run: |
           # This works because `node` is installed by default on GHA runners
-          make transpile_implementation_net CORES=$CORES
-          make transpile_test_net CORES=$CORES
+          make transpile_implementation_net 
+          make transpile_test_net
 
       - name: Test TestVectors on .NET 6.0
         working-directory: ./${{matrix.library}}/runtimes/net