Revert "Fix build_doc.yml"

This reverts commit 7e1f33b.
CGAL · Jul 1, 2024 · ecbf98e · ecbf98e
1 parent 29ed736
commit ecbf98e
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/.github/workflows/build_doc.yml b/.github/workflows/build_doc.yml
@@ -65,7 +65,7 @@ jobs:
  if: steps.get_round.outputs.result != 'stop'
  with:
  repository: ${{ github.repository }}
- ref: refs/pull/${{ steps.get_pr_number.outputs.result }}/head
+ ref: refs/pull/${{ steps.get_pr_number.outputs.result }}/merge
  fetch-depth: 2
 
  - name: install dependencies