Update codebuild/py312/decrypt_hkeyring_with_net.yml

Author: lucasmcdonald3

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -23,11 +23,6 @@ phases:
       - unzip 312_hkeyring_manifest.zip
       - export DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH="${PWD}/312_hkeyring_manifest/manifest.json"
 
-      # Approach 1: "The Right Way":
-
-      # TODO: Get published NET TestVectors runner
-
-      # Approach 2: "The Quick Way:"
 
       # Download dafny
       - curl https://github.com/dafny-lang/dafny/releases/download/v4.7.0/dafny-4.7.0-x64-ubuntu-20.04.zip  -L -o dafny.zip