m

Author: Lucas McDonald

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -27,7 +27,7 @@ phases:
       # Clone SDK-Dafny repo to get test vectors runner source code and the Dafny version to use
       - git clone --recurse-submodules https://github.com/aws/aws-encryption-sdk.git
       # Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file
-      - export dafnyVersion=$(grep '^dafnyVersion=' aws-encryption-sdk/AwsEncryptionSDK/project.properties | cut -d '=' -f 2)
+      - export dafnyVersion=$(grep '^dafnyVersion=' aws-encryption-sdk/project.properties | cut -d '=' -f 2)
       - curl https://github.com/dafny-lang/dafny/releases/download/v$dafnyVersion/dafny-$dafnyVersion-x64-ubuntu-20.04.zip  -L -o dafny.zip
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"

test_vector_handlers/scripts/install_mpl_test_vector_runner.sh

@@ -11,7 +11,7 @@ cd "$(dirname "$0")"
 export mplVersion=$(grep 'aws-cryptographic-material-providers==' ../requirements_mpl.txt | sed -E 's/.*==(.+)/\1/')
 
 # Clone MPL repo to get test vectors runner source code and the Dafny version to use
-# git clone --branch v$mplVersion --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git 
+# git clone --branch v$mplVersion --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
 git clone --recurse-submodules https://github.com/aws/aws-cryptographic-material-providers-library.git
 
 # Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file