a

Author: josecorella

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

@@ -22,28 +22,16 @@ runs:
         git pull
         git submodule update --init --recursive
         cat project.properties
-
-    - name: Update top-level project.properties file in MPL
-      if: inputs.update-and-regenerate-mpl == 'true'
-      shell: bash
-      working-directory: submodules/MaterialProviders
-      run: |
-        make generate_properties_file
-
-    # Update the project.properties file so that we pick up the right runtimes etc.,
-    # in cases where inputs.dafny is different from the current value in that file.
-    - name: Generate smithy-dafny-project.properties file
-      if: inputs.update-and-regenerate-mpl == 'true'
-      env:
-        DAFNY_VERSION: ${{ inputs.dafny }}
-      shell: bash
-      run: |
-        make generate_properties_file
+      
+    - name: Get the MPL version from the MPL submodule
+      id: read_property
+      uses: christian-draeger/[email protected]
+      with:
+        path: "submodules/MaterialProviders//project.properties"
+        properties: "mplVersion"
 
     - name: Update top-level project.properties file
-      if: inputs.update-and-regenerate-mpl == 'true'
       shell: bash
       run: |
-        awk -F= '!a[$1]++' smithy-dafny-project.properties project.properties > merged.properties
-        mv merged.properties project.properties
+        echo ${{ steps.read_property.outputs.mplVersion }}
         cat project.properties