chore: fix dafny interop build steps

Author: josecorella

.github/workflows/dafny_interop_test_vector_java.yml

@@ -83,6 +83,14 @@ jobs:
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dbesdk-dafny}}
+      
+      - name: Build DynamoDbEncrytpion implementation
+        shell: bash
+        working-directory: ./${{ matrix.library }}
+        run: |
+          make transpile_implementation_java
+          make transpile_test_java
+          make mvn_local_deploy
 
       - name: Build TestVectors implementation
         shell: bash

.github/workflows/dafny_interop_test_vector_net.yml

@@ -84,6 +84,14 @@ jobs:
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dbesdk-dafny}}
+      
+      - name: Build DynamoDbEncryption implementation
+        shell: bash
+        working-directory: ./DyanmoDbEncryption
+        run: |
+          # This works because `node` is installed by default on GHA runners
+          make transpile_implementation_net 
+          make transpile_test_net
 
       - name: Build TestVectors implementation
         shell: bash