chore(CI): mpl head step for rust (#1583)

aws · Jan 21, 2025 · 98724d3 · 98724d3
1 parent c231473
commit 98724d3
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
@@ -13,6 +13,11 @@ on:
         required: false
         default: false
         type: boolean
+      mpl-head:
+        description: "Running on MPL HEAD"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   testRust:
@@ -59,6 +64,15 @@ jobs:
         with:
           dafny-version: nightly-2024-12-03-4954170
 
+      - name: Update MPL submodule if using MPL HEAD
+        if: ${{ inputs.mpl-head == true }}
+        working-directory: submodules/MaterialProviders
+        run: |
+          git checkout main
+          git pull
+          git submodule update --init --recursive
+          git rev-parse HEAD
+
       # Remove this after the formatting in Rust starts working
       - name: smithy-dafny Rust hacks
         shell: bash