fix: repo rename (#739)

Co-authored-by: Shubham Chaturvedi <[email protected]>

Author: ShubhamChaturvedi7

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 aws-encryption-sdk-dafny/AwsEncryptionSDK
+      - cd aws-encryption-sdk/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 aws-encryption-sdk-dafny/AwsEncryptionSDK
+      - cd aws-encryption-sdk/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 aws-encryption-sdk-dafny
+      - cd aws-encryption-sdk
   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 aws-encryption-sdk-dafny/AwsEncryptionSDK
+      - cd aws-encryption-sdk/AwsEncryptionSDK
   pre_build:
     commands:
       - make transpile_net

cfn/CI.yaml

@@ -17,7 +17,7 @@ Parameters:
   GitHubRepo:
     Type: String
     Description: GitHub Repo that invokes CI
-    Default: aws/aws-encryption-sdk-dafny
+    Default: aws/aws-encryption-sdk
 
 Resources:
   GitHubCIRole: