diff --git a/buildspec.yml b/buildspec.yml
index 95e4d0a17..b2999d01b 100644
--- a/buildspec.yml
+++ b/buildspec.yml
@@ -304,12 +304,12 @@ batch:
       buildspec: codebuild/py312/decrypt_hkeyring_with_keyrings.yml
       env:
         image: aws/codebuild/standard:7.0
-    # - identifier: py312_decrypt_hkeyring_with_net
-    #   depend-on: 
-    #    - py312_generate_hkeyring_decrypt_vectors
-    #   buildspec: codebuild/py312/decrypt_hkeyring_with_net.yml
-    #   env:
-    #     image: aws/codebuild/standard:7.0
+    - identifier: py312_decrypt_hkeyring_with_net
+      depend-on: 
+       - py312_generate_hkeyring_decrypt_vectors
+      buildspec: codebuild/py312/decrypt_hkeyring_with_net.yml
+      env:
+        image: aws/codebuild/standard:7.0
     
     - identifier: code_coverage
       buildspec: codebuild/coverage/coverage.yml
diff --git a/codebuild/py312/decrypt_hkeyring_with_net.yml b/codebuild/py312/decrypt_hkeyring_with_net.yml
index 77a1516e5..f8bd4a4a2 100644
--- a/codebuild/py312/decrypt_hkeyring_with_net.yml
+++ b/codebuild/py312/decrypt_hkeyring_with_net.yml
@@ -21,6 +21,9 @@ 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/
+      - pwd
 
       # Approach 1: "The Right Way":
 
@@ -29,11 +32,11 @@ phases:
       # Approach 2: "The Quick Way:"
 
       # Clone SDK-Dafny repo to get test vectors runner
-      - git clone git@github.com:aws/aws-encryption-sdk-dafny.git
+      - 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
-      - sed -i '' -e 's/<ProjectReference Include="\.\.\/\.\.\/ESDK\.csproj" \/>/<PackageReference Include="AWS.Cryptography.EncryptionSDK" Version="4.0.1" \/>/g' AWSEncryptionSDKTestVectorLib.csproj
+      - 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
   
   build: