no codegen for mpl head tests

Author: josecorella

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

@@ -21,15 +21,15 @@ runs:
         git checkout main
         git pull
         git submodule update --init --recursive
-      
+
     - name: Get the MPL version from the MPL submodule
       id: read_property
       uses: christian-draeger/[email protected]
       with:
-        path: "submodules/MaterialProviders//project.properties"
+        path: "submodules/MaterialProviders/project.properties"
         properties: "mplVersion"
 
     - name: Update top-level project.properties file
       shell: bash
       run: |
-        sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{steps.read_property.outputs.mplVersion}}/g" project.properties > project.properties2; mv project.properties2 project.properties
+        sed "s/mplDependencyJavaVersion=.*/mplDependencyJavaVersion=${{steps.read_property.outputs.mplVersion}}/g" project.properties > project.properties2; mv project.properties2 project.properties

.github/workflows/ci_codegen.yml

@@ -7,11 +7,6 @@ on:
         description: "The dafny version to run"
         required: true
         type: string
-      mpl-head:
-        description: "Using MPL HEAD"
-        required: false
-        default: false
-        type: boolean
 
 jobs:
   code-generation:
@@ -39,12 +34,6 @@ jobs:
         with:
           submodules: recursive
 
-      - uses: ./.github/actions/mpl-head
-        if: ${{ inputs.mpl-head == true }}
-        with:
-          dafny: ${{ env.DAFNY_VERSION }}
-          update-and-regenerate-mpl: true
-
       # Only used to format generated code
       # and to translate version strings such as "nightly-latest"
       # to an actual DAFNY_VERSION.

.github/workflows/library_dafny_verification.yml

@@ -13,6 +13,11 @@ on:
         required: false
         default: false
         type: boolean
+      mpl-head:
+        description: "Using MPL HEAD"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   verification:
@@ -47,6 +52,12 @@ jobs:
         with:
           dafny-version: ${{ inputs.dafny }}
 
+      - uses: ./.github/actions/mpl-head
+        if: ${{ inputs.mpl-head == true }}
+        with:
+          dafny: ${{ env.DAFNY_VERSION }}
+          update-and-regenerate-mpl: true
+
       # dafny-reportgenerator requires next6
       # but only 7.0 is installed on macos-12-large
       - name: Setup .NET Core SDK '6.0.x'

.github/workflows/mpl-head.yml

@@ -18,19 +18,13 @@ jobs:
     uses: ./.github/workflows/library_format.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
-  mpl-head-ci-codegen:
-    needs: getVersion
+  mpl-head-ci-verification:
+    needs: getVerifyVersion
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
-    uses: ./.github/workflows/ci_codegen.yml
+    uses: ./.github/workflows/library_dafny_verification.yml
     with:
-      dafny: ${{needs.getVersion.outputs.version}}
+      dafny: ${{needs.getVerifyVersion.outputs.version}}
       mpl-head: true
-  # mpl-head-ci-verification:
-  #   needs: getVerifyVersion
-  #   if: github.event_name != 'schedule' || github.repository_owner == 'aws'
-  #   uses: ./.github/workflows/library_dafny_verification.yml
-  #   with:
-  #     dafny: ${{needs.getVerifyVersion.outputs.version}}
   # mpl-head-ci-test-vector-verification:
   #   needs: getVerifyVersion
   #   uses: ./.github/workflows/test_vector_verification.yml