add ParlaMint Sample root file generation to github actions #226

.github/actions/ParlaMintSample2root/action.yml

@@ -0,0 +1,21 @@
+name: 'Update ParlaMint Sample root files'
+#description: ''
+inputs:
+runs:
+  using: "composite"
+  steps:
+    - name: Root
+      run: |
+          cd $GITHUB_WORKSPACE/ParlaMint
+          for t_i in TEI_ TEI.ana_.ana en.TEI.ana_-en.ana; do
+            type=${t_i%_*};
+            interfix=${t_i#*_};
+            $s base=../Samples type=$type isSample=1 -xsl:Scripts/parlamint2root.xsl Scripts/ParlaMint-rootTemplate.xml \
+            > Samples/ParlaMint$interfix.xml ;
+          done
+          git status
+          git diff --quiet || git commit -m "action: generating ParlaMint roots for Sample folder #${{github.event.number}}" Samples/ParlaMint*.xml
+          git push
+      shell: bash
+
+

.github/workflows/ParlaMintSample2root.yml

@@ -0,0 +1,26 @@
+name: ParlaMintSample2root
+
+# Controls when the action will run.
+on:
+  # Allows you to run this workflow manually from the Actions tab
+  workflow_dispatch:
+
+# A workflow run is made up of one or more jobs that can run sequentially or in parallel
+jobs:
+  Changes:
+    runs-on: ubuntu-latest
+    outputs:
+      parla_process:  '${{ steps.detect-changes.outputs.parla_process }}'
+    # Steps represent a sequence of tasks that will be executed as part of the job
+    steps:
+      - name: Checkout ParlaMint
+        uses: actions/checkout@v3
+        with:
+          path: ParlaMint
+          fetch-depth: 2 # when called a pull_request - test is run on test merge -> full history is not needed to detect changes
+      - name: Setup
+        uses: ./ParlaMint/.github/actions/ParlaMintEnvSetup
+        with:
+          repo_token: ${{secrets.GITHUB_TOKEN}}
+      - name: Commit new sample root
+        uses: ./ParlaMint/.github/actions/ParlaMintSample2root

.github/workflows/createSample.yml

@@ -93,4 +93,7 @@ jobs:
           git status
           git commit -a -m "action: generating ParlaMint-${{needs.Changes.outputs.parla_changed}} sample files with #${{github.event.number}}"
           git push
+      - name: Commit new sample root
+        if: ${{ success() }}
+        uses: ./ParlaMint/.github/actions/ParlaMintSample2root