m

Author: lucasmcdonald3

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -33,7 +33,7 @@ phases:
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
 
-      # Build ESDK test vector runner
+      # Build ESDK test vector runner 
       - cd aws-encryption-sdk-dafny
       # TODO: Change branch to published when available
       - git checkout lucmcdon/hkeyring-vectors