From 67393ef62d386d0ce61838fe1d2dff8d6cbae5ee Mon Sep 17 00:00:00 2001 From: Harsh Shandilya Date: Fri, 11 Dec 2020 11:23:48 +0530 Subject: [PATCH] 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 --- .github/workflows/pull_request.yml | 2 ++ 1 file changed, 2 insertions(+) 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' }}