Three changes that hopefully fix the coverage action

.github/workflows/CI.yml

@@ -173,7 +173,7 @@ jobs:
       - name: "Checkout repository 🛎"
         uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683
         with:
-          persist-credentials: false
+          persist-credentials: true
 
       - name: "Setup CI environment 🛠"
         uses: pydata/pydata-sphinx-theme/.github/actions/set-dev-env@4a1e7898d6c92dade5e489684277ab4ffd0eb053
@@ -203,10 +203,10 @@ jobs:
     # ensures this runs even if the coverage step does not continue - e.g. the
     # default coverage action will fail at first for external PRs, this is a workaround
     # to ensure the comment is posted
-    if: ${{ github.event.name == 'pull_request'}}
+    if: ${{ github.event_name == 'pull_request'}}
     with:
       # this is the workflow run ID of the `CI.yml` workflow
-      workflow_run_id: ${{ github.event.workflow_run.id }}
+      workflow_run_id: ${{ github.run_id }}
     permissions:
       contents: write
       pull-requests: write

.github/workflows/coverage.yml

@@ -16,15 +16,8 @@
       contents: write # needed to edit the comment vs opening multiple ones
       actions: read
     steps:
-      - name: "Get the triggering workflow run details"
-        id: get-run
-        uses: octokit/request-action@dad4362715b7fb2ddedf9772c8670824af564f0d
-        with:
-          route: GET /repos/"${REPO}"/actions/runs/"${WORKFLOW_RUN_ID}"
-        env:
-          GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-          REPO: ${{ github.repository }}
-          WORKFLOW_RUN_ID: ${{ inputs.workflow_run_id }}
+      - name: Print workflow_run_id input
+        run: echo "${{ inputs.workflow_run_id }}"
 
       # this needs the .coverage file so we download from the CI workflow artifacts
       - name: "Download coverage data 📥"
@@ -33,6 +26,7 @@
           pattern: coverage-data-*
           merge-multiple: true
           github-token: ${{ secrets.GITHUB_TOKEN }}
+          repository: ${{ github.repository }}
           run-id: ${{ inputs.workflow_run_id }}
 
       - name: "Check downloaded files"