Skip to content

Commit 94e261e

Browse files
author
Lucas McDonald
committed
m
1 parent 81d8163 commit 94e261e

8 files changed

+10
-10
lines changed

‎codebuild/py310/decrypt_net_401_vectors.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ phases:
2121
commands:
2222
# Fetch ESDK .NET v4.0.1 Test Vectors
2323
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
24-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
24+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
2525
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
2626
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
2727
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

‎codebuild/py311/decrypt_net_401_vectors_keyrings.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ phases:
2323
- sh test_vector_handlers/scripts/install_mpl_test_vector_runner.sh
2424
# Fetch ESDK .NET v4.0.1 Test Vectors
2525
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
26-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
26+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
2727
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
2828
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
2929
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

‎codebuild/py311/decrypt_net_401_vectors_masterkey.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ phases:
3131

3232
# Fetch ESDK .NET v4.0.1 Test Vectors
3333
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
34-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
34+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
3535
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
3636
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
3737
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

‎codebuild/py312/decrypt_hkeyring_with_net.yml‎

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -25,15 +25,15 @@ phases:
2525
- export DAFNY_AWS_ESDK_TEST_VECTOR_MANIFEST_PATH="${PWD}/312_hkeyring_reccmm_manifest/manifest.json"
2626

2727
# Clone SDK-Dafny repo to get test vectors runner source code and the Dafny version to use
28-
- git clone --recurse-submodules https://github.com/aws/aws-encryption-sdk-dafny.git
28+
- git clone --recurse-submodules https://github.com/aws/aws-encryption-sdk.git
2929
# Download Dafny to build the test vector runner; get Dafny version from ESDK's project.properties file
30-
- export dafnyVersion=$(grep '^dafnyVersion=' aws-encryption-sdk-dafny/AwsEncryptionSDK/project.properties | cut -d '=' -f 2)
30+
- export dafnyVersion=$(grep '^dafnyVersion=' aws-encryption-sdk/AwsEncryptionSDK/project.properties | cut -d '=' -f 2)
3131
- curl https://github.com/dafny-lang/dafny/releases/download/v$dafnyVersion/dafny-$dafnyVersion-x64-ubuntu-20.04.zip -L -o dafny.zip
3232
- unzip -qq dafny.zip && rm dafny.zip
3333
- export PATH="$PWD/dafny:$PATH"
3434

3535
# Build MPL test vector runner from source
36-
- cd aws-encryption-sdk-dafny/mpl/TestVectorsAwsCryptographicMaterialProviders/
36+
- cd aws-encryption-sdk/mpl/TestVectorsAwsCryptographicMaterialProviders/
3737
- make transpile_net
3838

3939
# Change ESDK TestVectors project to reference the published .NET ESDK

‎codebuild/py312/decrypt_net_401_vectors_keyrings.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -23,7 +23,7 @@ phases:
2323
- sh test_vector_handlers/scripts/install_mpl_test_vector_runner.sh
2424
# Fetch ESDK .NET v4.0.1 Test Vectors
2525
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
26-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
26+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
2727
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
2828
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
2929
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

‎codebuild/py312/decrypt_net_401_vectors_masterkey.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -31,7 +31,7 @@ phases:
3131

3232
# Fetch ESDK .NET v4.0.1 Test Vectors
3333
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
34-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
34+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
3535
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
3636
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
3737
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

‎codebuild/py38/decrypt_net_401_vectors.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ phases:
2121
commands:
2222
# Fetch ESDK .NET v4.0.1 Test Vectors
2323
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
24-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
24+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
2525
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
2626
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
2727
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

‎codebuild/py39/decrypt_net_401_vectors.yml‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,7 +21,7 @@ phases:
2121
commands:
2222
# Fetch ESDK .NET v4.0.1 Test Vectors
2323
- VECTOR_ZIP=$CODEBUILD_SRC_DIR/v4-Net-4.0.1.zip
24-
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk-dafny/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
24+
- VECTORS_URL=https://github.com/aws/aws-encryption-sdk/raw/mainline/AwsEncryptionSDK/runtimes/net/TestVectorsNative/TestVectors/resources/v4-Net-4.0.1.zip
2525
- curl -s --output $VECTOR_ZIP --location $VECTORS_URL
2626
- UNZIPPED_VECTORS_DIR=$CODEBUILD_SRC_DIR/test_vector_handlers/net_401_vectors
2727
- unzip $VECTOR_ZIP -d $UNZIPPED_VECTORS_DIR

0 commit comments

Comments
 (0)