a

Author: josecorella

.github/workflows/dafny-interop.yml

@@ -24,7 +24,7 @@ jobs:
   getMplHeadVersion:
     uses: ./.github/workflows/mpl_head_version.yml
     with:
-      mpl-head: false
+      mpl-head: ${{inputs.mpl-commit}}
   dafny-interop-java:
     needs: getMplHeadVersion
     uses: ./.github/workflows/dafny_interop_java.yml

.github/workflows/mpl_head_version.yml

@@ -9,7 +9,8 @@ on:
       mpl-head:
         description: "Using MPL HEAD?"
         required: true
-        type: boolean
+        default: main
+        type: string
     outputs:
       version:
         description: "The dafny version for verify"
@@ -25,11 +26,10 @@ jobs:
         with:
           submodules: recursive
       - name: Update MPL submodule locally if requested
-        if: ${{inputs.mpl-head == true }}
         working-directory: submodules/MaterialProviders
         shell: bash
         run: |
-          git checkout main
+          git checkout ${{inputs.mpl-head}}
           git pull
           git submodule update --init --recursive
           git rev-parse HEAD