try a fix

Author: RitvikKapila

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -11,6 +11,8 @@ env:
       arn:aws:kms:us-west-2:658956600833:key/mrk-80bd8ecdcd4342aebd84b7dc9da498a7
     AWS_ENCRYPTION_SDK_PYTHON_INTEGRATION_TEST_AWS_KMS_MRK_KEY_ID_2: >-
       arn:aws:kms:us-east-1:658956600833:key/mrk-80bd8ecdcd4342aebd84b7dc9da498a7
+    DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH: >-
+      312_hkeyring_manifest/manifest.json
 
 phases:
   install:
@@ -21,6 +23,8 @@ 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
+      - ls
+      - pwd
 
       # Approach 1: "The Right Way":
 
@@ -33,8 +37,6 @@ phases:
 
       # Change TestVectors to reference the published .NET ESDK
       - cd aws-encryption-sdk-dafny/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib
-      - ls
-      - pwd
       - sed -i -e 's/<ProjectReference Include="\.\.\/\.\.\/ESDK\.csproj" \/>/<PackageReference Include="AWS.Cryptography.EncryptionSDK" Version="4.0.1" \/>/g' AWSEncryptionSDKTestVectorLib.csproj
       - cd ../TestVectors