fix

Author: josecorella

.github/workflows/dafny_interop_test_vector_java.yml

@@ -83,7 +83,7 @@ jobs:
         uses: dafny-lang/setup-dafny-action@v1.7.2
         with:
           dafny-version: ${{ inputs.dbesdk-dafny}}
-      
+
       - name: Build DynamoDbEncrytpion implementation
         shell: bash
         working-directory: ./${{ matrix.library }}

.github/workflows/dafny_interop_test_vector_net.yml

@@ -84,10 +84,10 @@ jobs:
         uses: dafny-lang/setup-dafny-action@v1.7.2
         with:
           dafny-version: ${{ inputs.dbesdk-dafny}}
-      
+
       - name: Build DynamoDbEncryption implementation
         shell: bash
-        working-directory: ./DyanmoDbEncryption
+        working-directory: DyanmoDbEncryption
         run: |
           # This works because `node` is installed by default on GHA runners
           make transpile_implementation_net