Fix wrong git head referenced in PR workflow (#524)

Signed-off-by: Emanuele Papa <ema987@gmail.com>
This commit is contained in:
Emanuele 2023-02-25 17:51:08 +01:00 committed by GitHub
parent c57e2fc5b0
commit 22fff44b6e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -18,9 +18,6 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v3
with:
ref: ${{ github.event.pull_request.head.ref }}
- name: Set up our JDK environment - name: Set up our JDK environment
uses: actions/setup-java@v2 uses: actions/setup-java@v2
with: with:
@ -57,9 +54,6 @@ jobs:
steps: steps:
- name: Checkout - name: Checkout
uses: actions/checkout@v3 uses: actions/checkout@v3
with:
ref: ${{ github.event.pull_request.head.ref }}
- name: Set up our JDK environment - name: Set up our JDK environment
uses: actions/setup-java@v2 uses: actions/setup-java@v2
with: with: