chore(release): Replace all private-aws-encryption-sdk-dafny-staging (#652)

Author: rishav-karanjit

AwsEncryptionSDK/codebuild/release/release-prod.yml

@@ -27,7 +27,7 @@ phases:
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
-      - cd private-aws-encryption-sdk-dafny-staging/AwsEncryptionSDK
+      - cd aws-encryption-sdk-dafny/AwsEncryptionSDK
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

AwsEncryptionSDK/codebuild/release/release-staging.yml

@@ -37,7 +37,7 @@ phases:
       - sudo apt update
       - sudo apt-get install mono-devel -y
       # Switch back to the main directory
-      - cd private-aws-encryption-sdk-dafny-staging/AwsEncryptionSDK
+      - cd aws-encryption-sdk-dafny/AwsEncryptionSDK
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

AwsEncryptionSDK/codebuild/release/sign.yml

@@ -12,7 +12,7 @@ phases:
       - unzip -qq dafny.zip && rm dafny.zip
       - export PATH="$PWD/dafny:$PATH"
       # Switch back to the main directory
-      - cd private-aws-encryption-sdk-dafny-staging
+      - cd aws-encryption-sdk-dafny
   pre_build:
     commands:
       # UNIQUE_ID should be passed in as an environment variable. It is used to tie

AwsEncryptionSDK/codebuild/release/test-prod.yml

@@ -24,7 +24,7 @@ phases:
       - sudo apt update
       - sudo apt-get install mono-devel -y
       # Switch back to the main directory
-      - cd private-aws-encryption-sdk-dafny-staging/AwsEncryptionSDK
+      - cd aws-encryption-sdk-dafny/AwsEncryptionSDK
   pre_build:
     commands:
       - make transpile_net