fix

Author: RitvikKapila

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -32,7 +32,7 @@ phases:
       - git clone https://github.com/aws/aws-encryption-sdk-dafny.git
 
       # Change TestVectors to reference the published .NET ESDK
-      - cd aws-encryption-sdk-dafny/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorsLib
+      - cd aws-encryption-sdk-dafny/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib
       - sed -i '' -e 's/<ProjectReference Include="\.\.\/\.\.\/ESDK\.csproj" \/>/<PackageReference Include="AWS.Cryptography.EncryptionSDK" Version="4.0.1" \/>/g' AWSEncryptionSDKTestVectorLib.csproj
       - cd ../TestVectors