remove smithy-dafny fetch from workflows; bump mpl to HEAD

aws · Oct 22, 2024 · d52071c · d52071c
1 parent c636f6a
commit d52071c
Show file tree

Hide file tree

Showing 6 changed files with 3 additions and 8 deletions.
diff --git a/.github/workflows/dafny_interop_test_vector_net.yml b/.github/workflows/dafny_interop_test_vector_net.yml
@@ -267,7 +267,6 @@ jobs:
         run: |
           git submodule update --init libraries
           git submodule update --init --recursive mpl
-          git submodule update --init smithy-dafny
           
       - name: Configure AWS Credentials
         uses: aws-actions/configure-aws-credentials@v4

diff --git a/.github/workflows/library_dafny_verification.yml b/.github/workflows/library_dafny_verification.yml
@@ -37,7 +37,6 @@ jobs:
         run: |
             git submodule update --init libraries
             git submodule update --init --recursive mpl
-            git submodule update --init smithy-dafny
 
       - name: Setup Dafny
         uses: dafny-lang/[email protected]

diff --git a/.github/workflows/library_interop_tests.yml b/.github/workflows/library_interop_tests.yml
@@ -46,7 +46,6 @@ jobs:
         run: |
           git submodule update --init libraries
           git submodule update --init --recursive mpl
-          git submodule update --init smithy-dafny
           
       - name: Configure AWS Credentials
         uses: aws-actions/configure-aws-credentials@v4
@@ -144,7 +143,7 @@ jobs:
         run: |
           git submodule update --init libraries
           git submodule update --init --recursive mpl
-          git submodule update --init smithy-dafny
+          
           
       - name: Configure AWS Credentials
         uses: aws-actions/configure-aws-credentials@v4
@@ -246,7 +245,7 @@ jobs:
         run: |
           git submodule update --init libraries
           git submodule update --init --recursive mpl
-          git submodule update --init smithy-dafny
+          
           
       - name: Configure AWS Credentials
         uses: aws-actions/configure-aws-credentials@v4

diff --git a/.github/workflows/library_java_tests.yml b/.github/workflows/library_java_tests.yml
@@ -41,7 +41,6 @@ jobs:
         run: |
             git submodule update --init libraries
             git submodule update --init --recursive mpl
-            git submodule update --init smithy-dafny
 
       - name: Configure AWS Credentials
         uses: aws-actions/configure-aws-credentials@v2

diff --git a/.github/workflows/library_net_tests.yml b/.github/workflows/library_net_tests.yml
@@ -52,7 +52,6 @@ jobs:
         run: |
           git submodule update --init libraries
           git submodule update --init --recursive mpl
-          git submodule update --init smithy-dafny
           
       - name: Configure AWS Credentials
         uses: aws-actions/configure-aws-credentials@v2

diff --git a/mpl b/mpl