test

Author: josecorella

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

@@ -0,0 +1,45 @@
+name: "Check Out and update files with MPL-HEAD"
+description: "Updates the MPL submodule to point at HEAD and updates the files that depend on the version defined in project.properties"
+inputs:
+  update-and-regenerate-mpl:
+    description: "Locally update MPL to the tip of master and regenerate its code"
+    required: true
+    default: false
+    type: boolean
+runs:
+  using: "composite"
+  steps:
+    - name: Update MPL submodule locally if requested
+      if: inputs.update-and-regenerate-mpl == 'true'
+      working-directory: submodules/MaterialProviders
+      shell: bash
+      run: |
+        git fetch
+        git checkout main
+        git pull
+        git submodule update --init --recursive
+
+    - 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: 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
+        cat project.properties

.github/workflows/ci_codegen.yml

@@ -7,6 +7,11 @@ 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:
@@ -34,6 +39,11 @@ jobs:
         with:
           submodules: recursive
 
+      - uses: ./.github/actions/mpl-head
+        if: ${{ inputs.mpl-head == true }}
+        with:
+          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/mpl-head.yml

@@ -21,9 +21,10 @@ jobs:
   mpl-head-ci-codegen:
     needs: getVersion
     if: github.event_name != 'schedule' || github.repository_owner == 'aws'
-    uses: ./.github/actions/mpl-head/mpl_head_codegen.yml
+    uses: ./.github/workflows/ci_codegen.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
+      mpl-head: true
   # mpl-head-ci-verification:
   #   needs: getVerifyVersion
   #   if: github.event_name != 'schedule' || github.repository_owner == 'aws'