From eb63ecb6708270bcedaab10451b452275448778d Mon Sep 17 00:00:00 2001
From: Raphael Simon <simon.raphael@gmail.com>
Date: Fri, 29 Sep 2023 01:00:56 -0700
Subject: [PATCH] Set origin properly for PRs from forks

---
 .github/workflows/report-coverage.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/report-coverage.yml b/.github/workflows/report-coverage.yml
index 87a5aed1c8..c4dfce1f6b 100644
--- a/.github/workflows/report-coverage.yml
+++ b/.github/workflows/report-coverage.yml
@@ -15,6 +15,7 @@ jobs:
       - name: Check out code
         uses: actions/checkout@v4
         with:
+          repository: ${{ github.event.workflow_run.head_repository.full_name }}
           ref: ${{ github.event.workflow_run.head_branch }}
 
       - name: Download test coverage