enable dotnet in mpl head build

Author: josecorella

.github/workflows/ci_examples_net.yml

@@ -13,6 +13,11 @@ on:
         required: false
         default: false
         type: boolean
+      mpl-head:
+        description: "Running on MPL HEAD"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   dotNetExamples:
@@ -45,6 +50,15 @@ jobs:
         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: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen

.github/workflows/ci_test_net.yml

@@ -13,6 +13,11 @@ on:
         required: false
         default: false
         type: boolean
+      mpl-head:
+        description: "Running on MPL HEAD"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   testDotNet:
@@ -46,6 +51,15 @@ jobs:
         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: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen

.github/workflows/ci_test_vector_net.yml

@@ -13,6 +13,11 @@ on:
         required: false
         default: false
         type: boolean
+      mpl-head:
+        description: "Running on MPL HEAD"
+        required: false
+        default: false
+        type: boolean
 
 jobs:
   testDotNet:
@@ -51,6 +56,15 @@ jobs:
         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: Regenerate code using smithy-dafny if necessary
         if: ${{ inputs.regenerate-code }}
         uses: ./.github/actions/polymorph_codegen

.github/workflows/mpl-head.yml

@@ -50,28 +50,28 @@ jobs:
       dafny: ${{needs.getVersion.outputs.version}}
       mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
       mpl-head: true
-  mpl-headci-java-examples:
+  mpl-head-ci-java-examples:
     needs: [getVersion, getMplHeadVersion]
     uses: ./.github/workflows/ci_examples_java.yml
     with:
       dafny: ${{needs.getVersion.outputs.version}}
       mpl-version: ${{needs.getMplHeadVersion.outputs.version}}
       mpl-head: true
-  # mpl-head-ci-net:
-  #   needs: getVersion
-  #   uses: ./.github/workflows/ci_test_net.yml
-  #   with:
-  #     dafny: ${{needs.getVersion.outputs.version}}
-  #     mpl-head: true
-  # mpl-head-ci-net-test-vectors:
-  #   needs: getVersion
-  #   uses: ./.github/workflows/ci_test_vector_net.yml
-  #   with:
-  #     dafny: ${{needs.getVersion.outputs.version}}
-  #     mpl-head: true
-  # mpl-head-ci-net-examples:
-  #   needs: getVersion
-  #   uses: ./.github/workflows/ci_examples_net.yml
-  #   with:
-  #     dafny: ${{needs.getVersion.outputs.version}}
-  #     mpl-head: true
+  mpl-head-ci-net:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_net.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+      mpl-head: true
+  mpl-head-ci-net-test-vectors:
+    needs: getVersion
+    uses: ./.github/workflows/ci_test_vector_net.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+      mpl-head: true
+  mpl-head-ci-net-examples:
+    needs: getVersion
+    uses: ./.github/workflows/ci_examples_net.yml
+    with:
+      dafny: ${{needs.getVersion.outputs.version}}
+      mpl-head: true