Skip to content

Commit

Permalink
fix(ci): check out HEAD of PR when building documentation
Browse files Browse the repository at this point in the history
Signed-off-by: Jon Koops <jonkoops@gmail.com>
  • Loading branch information
jonkoops committed May 22, 2024
1 parent 991c7b9 commit aa7a02c
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion .github/workflows/documentation.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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'
Expand Down

0 comments on commit aa7a02c

Please sign in to comment.