a

Author: josecorella

.github/actions/mpl-head/action.yml

@@ -63,6 +63,7 @@ jobs:
           git checkout main
           git pull
           git submodule update --init --recursive
+          git rev-parse HEAD
 
       - name: Update project.properties if using MPL HEAD
         if: ${{ inputs.mpl-head == true }}

.github/workflows/library_dafny_verification.yml

@@ -29,12 +29,13 @@ jobs:
       dafny: ${{needs.getVerifyVersion.outputs.version}}
       mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
       mpl-head: true
-  # mpl-head-ci-test-vector-verification:
-  #   needs: getVerifyVersion
-  #   uses: ./.github/workflows/test_vector_verification.yml
-  #   with:
-  #     dafny: ${{needs.getVerifyVersion.outputs.version}}
-  #     mpl-head: true
+  mpl-head-ci-test-vector-verification:
+    needs: getVerifyVersion
+    uses: ./.github/workflows/test_vector_verification.yml
+    with:
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
+      mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
+      mpl-head: true
   # mpl-head-ci-java-test-vectors:
   #   needs: getVersion
   #   uses: ./.github/workflows/ci_test_vector_java.yml

.github/workflows/mpl-head.yml

@@ -26,6 +26,7 @@ jobs:
           git checkout main
           git pull
           git submodule update --init --recursive
+          git rev-parse HEAD
 
       - name: Get the MPL version from the MPL submodule
         id: read_property

.github/workflows/mpl_head_version.yml

@@ -13,6 +13,15 @@ on:
         required: false
         default: false
         type: boolean
+      mpl-version:
+        description: "MPL version to use"
+        required: false
+        type: string
+      mpl-head:
+        description: "Running on MPL HEAD"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   verification:
@@ -37,6 +46,20 @@ jobs:
         uses: dafny-lang/[email protected]
         with:
           dafny-version: ${{ inputs.dafny }}
+      
+      - 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
+
+      - name: Update project.properties if using MPL HEAD
+        if: ${{ inputs.mpl-head == true }}
+        run: |
+          sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{inputs.mpl-version}}/g" project.properties > project.properties2; mv project.properties2 project.properties
 
       # dafny-reportgenerator requires next6
       # but only 7.0 is installed on macos-12-large