mirror of https://github.com/CGAL/cgal
Fix build_doc.yml
Checkout `refs/pull/$PR/head` instead of `refs/pull/$PR/merge`. If the pull-request has conflicts, that is different.
This commit is contained in:
parent
9075f96529
commit
7e1f33b716
|
|
@ -65,7 +65,7 @@ jobs:
|
||||||
if: steps.get_round.outputs.result != 'stop'
|
if: steps.get_round.outputs.result != 'stop'
|
||||||
with:
|
with:
|
||||||
repository: ${{ github.repository }}
|
repository: ${{ github.repository }}
|
||||||
ref: refs/pull/${{ steps.get_pr_number.outputs.result }}/merge
|
ref: refs/pull/${{ steps.get_pr_number.outputs.result }}/head
|
||||||
fetch-depth: 2
|
fetch-depth: 2
|
||||||
|
|
||||||
- name: install dependencies
|
- name: install dependencies
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue