manually combine coverage reports, misc cleanup (#165)

* test combining coverage files

* debug

* fix coverage path

* update naming

* run prettier

* backwards compatibility

.github/workflows/docker-push-containers-to-dockerhub-and-ecr.yaml

@@ -39,8 +39,8 @@ on:
         required: true
 
 permissions:
-  id-token: write   # This is required for requesting the JWT
-  contents: read    # This is required for actions/checkout
+  id-token: write # This is required for requesting the JWT
+  contents: read # This is required for actions/checkout
 
 jobs:
   docker-push-containers-to-dockerhub-and-ecr:

.github/workflows/python-coverage-comment.yaml

@@ -17,15 +17,19 @@ jobs:
       - uses: actions/download-artifact@v4
         id: download
         with:
+          path: coverage-reports
           pattern: coverage-*
           merge-multiple: true
 
+      - name: Combine coverage reports
+        run: |
+          pipx run coverage combine coverage-reports/*coverage.*
+
       - name: Coverage comment
         id: coverage_comment
         uses: py-cov-action/python-coverage-comment-action@v3
         with:
           GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          MERGE_COVERAGE_FILES: true
 
       - name: Store Pull Request comment to be posted
         uses: actions/upload-artifact@v4