Add download artefacts

.github/workflows/coverage.yml

@@ -12,11 +12,29 @@ jobs:
       contents: write # needed to edit the comment vs opening multiple ones
       actions: read
     steps:
+      - name: "Download coverage data 📥"
+        uses: actions/download-artifact@v4
+        with:
+          route: GET /repos/${{ github.repository }}/actions/runs/${{ github.event.workflow_run.id }}
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      - name: "Check if the trigger was a PR event"
+        run: |
+          TRIGGER_EVENT=$(echo '${{ steps.get-run.outputs.data }}' | jq -r '.event')
+          if [[ "$TRIGGER_EVENT" != "pull_request" ]]; then
+            echo "Workflow was not triggered by a PR, skipping coverage comment."
+            exit 78  # Exiting with a neutral status
+          fi
+        env:
+          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
+      # this needs the .coverage file so we download from the CI workflow artifacts
       - name: "Download coverage data 📥"
         uses: actions/download-artifact@v4
         with:
           pattern: coverage-data-*
           merge-multiple: true
+          github-token: ${{ secrets.GITHUB_TOKEN }}
+          run-id: ${{ github.event.workflow_run.id }}
       - name: "Post coverage comment"
         uses: py-cov-action/python-coverage-comment-action@v3
         with: