workflows/gitlab-ci: Checkout pull request HEAD commit instead of mer…

…ge commit
zhguanw · Jan 14, 2021 · a5f91e4 · a5f91e4
1 parent 4146c77
commit a5f91e4
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/.github/workflows/gitlab-ci.yml b/.github/workflows/gitlab-ci.yml
@@ -19,6 +19,9 @@ jobs:
         uses: actions/checkout@v2
         with:
           persist-credentials: false
+          # Checkout pull request HEAD commit instead of merge commit, because CI runs against HEAD
+          # commit.
+          ref: ${{ github.event.pull_request.head.sha }}
 
       - name: Wait for synchronization (every 5 minutes)
         run: |