Not PUSH_TO_CGAL_GITHUB_IO_TOKEN to checkout the PR branch

This commit is contained in:
Laurent Rineau 2023-01-30 13:34:59 +01:00
parent 798bd08989
commit 48b07bef84
1 changed files with 0 additions and 1 deletions

View File

@ -66,7 +66,6 @@ jobs:
with:
repository: ${{ github.repository }}
ref: refs/pull/${{ steps.get_pr_number.outputs.result }}/merge
token: ${{ secrets.PUSH_TO_CGAL_GITHUB_IO_TOKEN }}
fetch-depth: 2
- name: install dependencies