fix

Author: RitvikKapila

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -35,8 +35,10 @@ 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
+      - cd aws-encryption-sdk-dafny
       - git checkout lucmcdon/hkeyring-vectors
       - git pull
+      - cd ..
 
       # Change TestVectors to reference the published .NET ESDK
       - cd aws-encryption-sdk-dafny/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectorLib