diff --git a/.github/workflows/instrumentation-test.yml b/.github/workflows/instrumentation-test.yml
index adef9c776..3aefa7bef 100644
--- a/.github/workflows/instrumentation-test.yml
+++ b/.github/workflows/instrumentation-test.yml
@@ -91,6 +91,9 @@ jobs:
 
     - name: Jacoco Report to PR
       id: jacoco
+      # Pull requests from forks do not get repository secrets, so the token is empty and
+      # the step fails. Skip it there; the tests themselves still run.
+      if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name == github.repository
       uses: madrapps/jacoco-report@e51ce1f46f7f8b5331593f935e59cbaf44b84920 # v1.8.0
       with:
         paths: |
@@ -101,7 +104,7 @@ jobs:
         token: ${{ secrets.SYNCED_GITHUB_TOKEN_REPO }}
         min-coverage-overall: 26
         min-coverage-changed-files: 60
-        title: Code Coverage
+        title: Coverage (instrumentation tests)
         debug-mode: false
         update-comment: true