format

Author: josecorella

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

@@ -34,21 +34,21 @@ jobs:
       - uses: actions/checkout@v3
         with:
           submodules: recursive
-      
-    - name: Update MPL submodule
-      working-directory: submodules/MaterialProviders
-      shell: bash
-      run: |
-        git checkout main
-        git pull
-        git submodule update --init --recursive
-    
-    - name: Read MPL Version from its properties file
-      id: read_property
-      uses: christian-draeger/[email protected]
-      with:
-        path: "submodules/MaterialProviders/project.properties"
-        properties: "mplVersion"
+
+      - name: Update MPL submodule
+        working-directory: submodules/MaterialProviders
+        shell: bash
+        run: |
+          git checkout main
+          git pull
+          git submodule update --init --recursive
+
+      - name: Read MPL Version from its properties file
+        id: read_property
+        uses: christian-draeger/[email protected]
+        with:
+          path: "submodules/MaterialProviders/project.properties"
+          properties: "mplVersion"
 
       # Only used to format generated code
       # and to translate version strings such as "nightly-latest"

.github/workflows/daily_ci.yml

@@ -60,4 +60,4 @@ jobs:
     needs: getVersion
     uses: ./.github/workflows/ci_examples_net.yml
     with:
-      dafny: ${{needs.getVersion.outputs.version}}
+      dafny: ${{needs.getVersion.outputs.version}}

.github/workflows/mpl-head.yml

@@ -1,12 +1,9 @@
-# This workflow invokes other workflows with the latest MPL head at 14:00 UTC (7am PDT) 
-name: MPL HEAD Integration 
+# This workflow invokes other workflows with the latest MPL head at 14:00 UTC (7am PDT)
+name: CI MPL HEAD
 
 on:
   pull_request:
-  # schedule:
-  #   # Although this is triggered daily the MPL may not get daily commits, which
-  #   # means that some builds MAY get the same MPL HEAD. 
-  #   - cron: "00 14 * * 1-5"
+
 jobs:
   getVersion:
     # Don't run the cron builds on forks
@@ -38,34 +35,34 @@ jobs:
   #   uses: ./.github/workflows/test_vector_verification.yml
   #   with:
   #     dafny: ${{needs.getVerifyVersion.outputs.version}}
-  #     mpl-head: true 
+  #     mpl-head: true
   # mpl-head-ci-java-test-vectors:
   #   needs: getVersion
   #   uses: ./.github/workflows/ci_test_vector_java.yml
   #   with:
   #     dafny: ${{needs.getVersion.outputs.version}}
-  #     mpl-head: true 
+  #     mpl-head: true
   # mpl-headci-java-examples:
   #   needs: getVersion
   #   uses: ./.github/workflows/ci_examples_java.yml
   #   with:
   #     dafny: ${{needs.getVersion.outputs.version}}
-  #     mpl-head: true 
+  #     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: 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: 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: true