Fix GitHub pull request ref, follow up for #3571

This commit is contained in:
Antonin Delpeuch 2021-02-05 12:53:38 +01:00
parent 7e0f14f95a
commit 2afab144c5

View File

@ -42,7 +42,7 @@ jobs:
steps:
- uses: actions/checkout@v2.3.4
with:
ref: refs/pr/${{ github.event.number }}/merge
ref: refs/pull/${{ github.event.number }}/merge
repository: ${{ github.event.pull_request.head.repo.full_name }}
- name: Restore dependency cache
@ -88,7 +88,7 @@ jobs:
steps:
- uses: actions/checkout@v2.3.4
with:
ref: ${{ github.event.pull_request.head.ref }}
ref: refs/pull/${{ github.event.number }}/merge
repository: ${{ github.event.pull_request.head.repo.full_name }}
- name: Restore dependency cache