From a1cc3d77d23eba5c961548aab09d475cc82bb8f4 Mon Sep 17 00:00:00 2001
From: Jose Corella <joseeduardocorella@gmail.com>
Date: Tue, 21 Jan 2025 10:50:29 -0800
Subject: [PATCH] chore(CI): mpl head step for rust

---
 .github/workflows/library_rust_tests.yml | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/.github/workflows/library_rust_tests.yml b/.github/workflows/library_rust_tests.yml
index e921284a8..b355e4572 100644
--- 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