Skip to content

Commit

Permalink
ci: Checkout the PR head, not the github merge commit
Browse files Browse the repository at this point in the history
In the CI github action, checkout the PR head commit instead of the
`actions/checkout@v2` default of the PR merge commit.  The practical
effect of this change is the exported artifacts snapshot suffix will
contain the commit id of the last commit on the PR instead of the
magic github generated merge commit.
  • Loading branch information
sjd78 committed Aug 8, 2022
1 parent fbd5851 commit 74c8d96
Showing 1 changed file with 2 additions and 0 deletions.
2 changes: 2 additions & 0 deletions .github/workflows/build.yml
Original file line number Diff line number Diff line change
Expand Up @@ -81,6 +81,8 @@ jobs:
- name: Checkout sources
uses: actions/checkout@v2
with:
ref: ${{ github.event.pull_request.head.sha }}

- name: Setup maven cache
uses: actions/cache@v2
Expand Down

0 comments on commit 74c8d96

Please sign in to comment.