m

Author: lucasmcdonald3

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -32,17 +32,13 @@ phases:
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
 
-      # Build ESDK test vector runner from source
-      - cd aws-encryption-sdk-dafny
-      # TODO: Change branch to published when available
-      - git checkout lucmcdon/hkeyring-vectors
-      - git pull
-      - cd mpl/TestVectorsAwsCryptographicMaterialProviders/
+      # Build MPL test vector runner from source
+      - cd aws-encryption-sdk-dafny/mpl/TestVectorsAwsCryptographicMaterialProviders/
       - make transpile_net
 
-      # Change TestVectors to reference the published .NET ESDK
+      # Change ESDK TestVectors project to reference the published .NET ESDK
       - cd ../../AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib
-      # CodeBuild seems to want to use ESDK-NET 4.0.0, which is not a good version...
+      # CodeBuild seems to want to use ESDK-NET 4.0.0, which is not the most recent version...
       # Pin to at least 4.1.0; this is the most recent version at time of writing.
       # Hopefully CodeBuild will find more recent versions in the future
       - sed -i 's|<ProjectReference Include="\.\./\.\./ESDK\.csproj" />|<PackageReference Include="AWS.Cryptography.EncryptionSDK" Version="[4.1.0,)" />|g' AWSEncryptionSDKTestVectorLib.csproj