Update workflow

Author: Planeshifter

.github/workflows/append_ndjson_coverage.yml

@@ -54,13 +54,26 @@ jobs:
           lfs: false
         timeout-minutes: 10
 
-      # Update the repository:
-      - name: 'Update repository'
+      # Get list of changed files:
+      - name: 'Get list of changed files'
+        id: changed-files
         run: |
-          FILES=$(git diff --name-only HEAD^ HEAD | grep -E '^index\.html$')
-          for FILE in $FILES; do
-            coverage=$(echo -n '['; grep -oP "(?<=class='fraction'>)[0-9]+/[0-9]+" $FILE | awk -F/ '{ print $1 "," $2 "," ($1/$2)*100 }' | tr '\n' ',' | sed 's/,$//'; echo -n ']')
-            echo $coverage >> $(dirname $FILE)/coverage.ndjson
+          # Get changed files by comparing the current commit to the commit before the push event or with its parent:
+          if [ "${{ github.event.before }}" == "0000000000000000000000000000000000000000" ]; then
+            files=$(git diff --diff-filter=AM --name-only HEAD~ ${{ github.event.after }})
+          else
+            files=$(git diff --diff-filter=AM --name-only ${{ github.event.before }} ${{ github.event.after }})
+          fi
+          files=$(echo "$files" | grep -E '^index\.html$')
+          echo "files=${files}" >> $GITHUB_OUTPUT
+
+      # Update coverage data:
+      - name: 'Update coverage data'
+        run: |
+          files=$(echo "${{ steps.changed-files.outputs.files }}" | tr '\n' ' ')
+          for file in $files; do
+            coverage=$(echo -n '['; grep -oP "(?<=class='fraction'>)[0-9]+/[0-9]+" $file | awk -F/ '{ print $1 "," $2 "," ($1/$2)*100 }' | tr '\n' ',' | sed 's/,$//'; echo -n ']')
+            echo $coverage >> $(dirname $file)/coverage.ndjson
           done
           
       # Configure Git: