a

Author: josecorella

.github/workflows/dafny_interop_test_vector_net.yml

@@ -87,7 +87,7 @@ jobs:
 
       - 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