diff options
| author | Harsh Shandilya <me@msfjarvis.dev> | 2020-12-11 11:23:48 +0530 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-11 11:23:48 +0530 |
| commit | 67393ef62d386d0ce61838fe1d2dff8d6cbae5ee (patch) | |
| tree | add3a4e73b051569bf177fa9add74365f53d1af7 /.github | |
| parent | ce2e657108187a34416cfbfc0c5d2fc8bb9277f3 (diff) | |
github: checkout PR head when running checks (#1247)
Fixes: 29778e0e3da9 ("Strip down README to feature new docs and Discussions (#1243)")
Signed-off-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/pull_request.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/pull_request.yml b/.github/workflows/pull_request.yml index 4521e1dc..9aea7157 100644 --- a/.github/workflows/pull_request.yml +++ b/.github/workflows/pull_request.yml @@ -31,6 +31,8 @@ jobs: - name: Checkout repository if: ${{ steps.service-changed.outputs.result == 'true' }} uses: actions/checkout@5a4ac9002d0be2fb38bd78e4b4dbde5606d7042f + with: + ref: refs/pull/${{ github.event.pull_request.number }}/merge - name: Copy CI gradle.properties if: ${{ steps.service-changed.outputs.result == 'true' }} |