From 63d6bb3614ed0a8e1fe46aa2512bb9f10a3ee454 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Mon, 26 Aug 2024 15:13:08 -0700 Subject: [PATCH 1/2] chore: actually build mpl --- .github/workflows/dafny_interop_test_net.yml | 4 ++-- .github/workflows/dafny_interop_test_vector_net.yml | 6 +++--- 2 files changed, 5 insertions(+), 5 deletions(-) diff --git a/.github/workflows/dafny_interop_test_net.yml b/.github/workflows/dafny_interop_test_net.yml index 5027b630e..fd56e893e 100644 --- a/.github/workflows/dafny_interop_test_net.yml +++ b/.github/workflows/dafny_interop_test_net.yml @@ -87,7 +87,7 @@ jobs: - name: Compile MPL with Dafny ${{inputs.mpl-dafny}} shell: bash - working-directory: mpl + working-directory: mpl/TestVectorsAwsCryptographicMaterialProviders run: | make setup_net # This works because `node` is installed by default on GHA runners @@ -101,7 +101,7 @@ jobs: - name: Build ESDK implementation shell: bash - working-directory: AwsEncryptionSDK + working-directory: ./AwsEncryptionSDK run: | # This works because `node` is installed by default on GHA runners make transpile_implementation_net diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index d8fb938ae..a086a09ee 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -86,7 +86,7 @@ jobs: - name: Compile MPL with Dafny ${{inputs.mpl-dafny}} shell: bash - working-directory: mpl + working-directory: mpl/TestVectorsAwsCryptographicMaterialProviders run: | make setup_net # This works because `node` is installed by default on GHA runners @@ -100,7 +100,7 @@ jobs: - name: Build ESDK implementation shell: bash - working-directory: AwsEncryptionSDK + working-directory: ./AwsEncryptionSDK run: | # This works because `node` is installed by default on GHA runners make transpile_implementation_net @@ -196,7 +196,7 @@ jobs: - name: Compile MPL with Dafny ${{inputs.mpl-dafny}} shell: bash - working-directory: mpl + working-directory: mpl/TestVectorsAwsCryptographicMaterialProviders run: | make setup_net # This works because `node` is installed by default on GHA runners From c801d351ebe9305926062adc302bc016ebd25855 Mon Sep 17 00:00:00 2001 From: Jose Corella Date: Mon, 26 Aug 2024 15:20:27 -0700 Subject: [PATCH 2/2] a --- .github/workflows/dafny_interop_test_vector_net.yml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml index a086a09ee..2940a1a67 100644 --- a/.github/workflows/dafny_interop_test_vector_net.yml +++ b/.github/workflows/dafny_interop_test_vector_net.yml @@ -191,8 +191,8 @@ jobs: uses: aws-actions/configure-aws-credentials@v4 with: aws-region: us-west-2 - role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-DDBEC-Dafny-Role-us-west-2 - role-session-name: DDBEC-Dafny-Net-Tests + role-to-assume: arn:aws:iam::370957321024:role/GitHub-CI-Public-ESDK-Dafny-Role-us-west-2 + role-session-name: NetTests - name: Compile MPL with Dafny ${{inputs.mpl-dafny}} shell: bash