From 407f54eb0a15dd666db61b776c065a4d2086fba5 Mon Sep 17 00:00:00 2001
From: Jon Koops <jonkoops@gmail.com>
Date: Wed, 22 May 2024 19:00:03 +0200
Subject: [PATCH] fix(ci): check out `HEAD` of PR when building documentation

Signed-off-by: Jon Koops <jonkoops@gmail.com>
---
 .github/workflows/documentation.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/documentation.yml b/.github/workflows/documentation.yml
index d6e9fd4c7c4..c013ccb662f 100644
--- a/.github/workflows/documentation.yml
+++ b/.github/workflows/documentation.yml
@@ -25,7 +25,7 @@ jobs:
         with:
           # Checkout the merge commit so that we can access the PR's changes.
           # This is nessesary because `pull_request_target` checks out the base branch (e.g. `main`) by default.
-          ref: ${{ github.event.pull_request.merge_commit_sha }}
+          ref: refs/pull/${{ env.GH_PR_NUM }}/head
 
       - name: Check out project
         if: github.event_name != 'pull_request_target'