m

Author: lucasmcdonald3

codebuild/py312/decrypt_hkeyring_with_net.yml

@@ -27,11 +27,6 @@ phases:
       # Build the ESDK-Dafny test vector runner
       # Clone SDK-Dafny repo to get test vectors runner source code
       - git clone --recurse-submodules https://github.com/aws/aws-encryption-sdk-dafny.git
-      # - ls
-      # - cd aws-encryption-sdk-dafny
-      # - ls
-      # - cd AwsEncryptionSDK
-      # - ls
       # Download Dafny to build the test vector runner; get Dafny version from project.properties file
       - export dafnyVersion=$(grep '^dafnyVersion=' aws-encryption-sdk-dafny/AwsEncryptionSDK/project.properties | cut -d '=' -f 2)
       - curl https://github.com/dafny-lang/dafny/releases/download/v$dafnyVersion/dafny-$dafnyVersion-x64-ubuntu-20.04.zip  -L -o dafny.zip