change branch for hkeyring decrypt

Author: RitvikKapila

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -21,6 +21,7 @@ phases:
       # Download previously generated vectors
       - aws s3 cp s3://generated-vectors-artifacts-bucket/$CODEBUILD_RESOLVED_SOURCE_VERSION/312_hkeyring_manifest.zip 312_hkeyring_manifest.zip
       - unzip 312_hkeyring_manifest.zip
+      - export DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH="${PWD}/312_hkeyring_manifest/manifest.json"
       - ls 312_hkeyring_manifest/
       - cat 312_hkeyring_manifest/keys.json
       - pwd
@@ -33,6 +34,9 @@ phases:
 
       # Clone SDK-Dafny repo to get test vectors runner
       - git clone https://github.com/aws/aws-encryption-sdk-dafny.git
+      # TODO: Change branch to published when available
+      - git checkout lucmcdon/hkeyring-vectors
+      - git pull
 
       # Change TestVectors to reference the published .NET ESDK
       - cd aws-encryption-sdk-dafny/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib
@@ -41,4 +45,4 @@ phases:
 
   build:
     commands:
-      - DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH="${PWD}/312_hkeyring_manifest/manifest.json" dotnet test --framework net6.0
+      - dotnet test --framework net6.0