diff options
author | ClementTsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-06 03:46:51 -0500 |
---|---|---|
committer | ClementTsang <34804052+ClementTsang@users.noreply.github.com> | 2022-11-06 03:46:51 -0500 |
commit | 442dba84e36e876da934959866a829fb14744b0d (patch) | |
tree | 69775b4ab6698e80496f4e32cf12567e2da81148 /.github | |
parent | 7ae8e66a3a43d126e95d0ce977be93ed4e4949f6 (diff) |
ci: add missing PR pull
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/clear-pr-cache.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/clear-pr-cache.yml b/.github/workflows/clear-pr-cache.yml index 356884d4..237b7fe5 100644 --- a/.github/workflows/clear-pr-cache.yml +++ b/.github/workflows/clear-pr-cache.yml @@ -18,6 +18,11 @@ jobs: env: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} steps: + - name: Checkout repository + uses: actions/checkout@v3 + with: + fetch-depth: 1 + - run: | if [[ -z "${{ github.event.inputs.id }}" ]]; then python ./scripts/clear_cache.py ${{ github.event.pull_request.number }} |