update

Author: josecorella

.github/workflows/dafny-interop.yml

@@ -23,6 +23,8 @@ on:
 jobs:
   getMplHeadVersion:
     uses: ./.github/workflows/mpl_head_version.yml
+    with:
+      mpl-head: false
   dafny-interop-java:
     needs: getMplHeadVersion
     uses: ./.github/workflows/dafny_interop_java.yml

.github/workflows/mpl-head.yml

@@ -16,6 +16,8 @@ jobs:
   getMplHeadVersion:
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
     uses: ./.github/workflows/mpl_head_version.yml
+    with:
+      mpl-head: true
   mpl-head-ci-format:
     needs: getVersion
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'

.github/workflows/mpl_head_version.yml

@@ -5,6 +5,11 @@ name: MPL HEAD Version
 
 on:
   workflow_call:
+    inputs:
+      mpl-head:
+        description: "Using MPL HEAD?"
+        required: true
+        type: boolean
     outputs:
       version:
         description: "The dafny version for verify"
@@ -20,6 +25,7 @@ jobs:
         with:
           submodules: recursive
       - name: Update MPL submodule locally if requested
+        if: ${{inputs.mpl-head}} == 'true'
         working-directory: submodules/MaterialProviders
         shell: bash
         run: |