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

…652)
aws · May 13, 2024 · a47f14e · a47f14e
1 parent 3b3cf4a
commit a47f14e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 4 deletions.
diff --git a/AwsEncryptionSDK/codebuild/release/release-prod.yml b/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

diff --git a/AwsEncryptionSDK/codebuild/release/release-staging.yml b/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

diff --git a/AwsEncryptionSDK/codebuild/release/sign.yml b/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

diff --git a/AwsEncryptionSDK/codebuild/release/test-prod.yml b/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