Minor change

Author: seanlaw

.github/workflows/github-actions.yml

@@ -160,16 +160,35 @@ jobs:
           include-hidden-files: true
           if-no-files-found: ignore
       - name: Generate Coverage Report
-        run: ./test.sh report coverage.stumpy.xml
+        run: ./test.sh report coverage.stumpy.json
         shell: bash
       - name: List Reports
         run: ls *json
         shell: bash
-      - name: Show Reports
-        run: head coverage.stumpy.json
-        shell: bash
       - name: Get Coverage Percentage
         run: |
           export TOTAL=$(python -c "import json;print(json.load(open('coverage.stumpy.json'))['totals']['percent_covered_display'])")
           echo $TOTAL
         shell: bash
+  coverage-aggregation:
+    name: Combine and Check Coverage
+    if: always()
+    needs: coverage
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          python-version: '3.12'
+      - uses: actions/download-artifact@v4
+        with:
+          pattern: coverage-data-*
+          merge-multiple: true
+      - name: Combine Coverage Files and Fail If Under 100%
+        run: ls .coverage.*
+        shell: bash
+      - name: Generate Coverage Report
+        run: ./test.sh report coverage.stumpy.json
+        shell: bash
+      - name: Get Coverage Percentage
+        run: |
+          export TOTAL=$(python -c "import json;print(json.load(open('coverage.stumpy.json'))['totals']['percent_covered_display'])")