chore(GHA): another gha fix (#1292)

Author: josecorella

.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

.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