ci: add missing PR pull

This commit is contained in:
ClementTsang 2022-11-06 03:46:51 -05:00
parent 7ae8e66a3a
commit 442dba84e3
No known key found for this signature in database
GPG Key ID: DC3B7867D8D97095
1 changed files with 5 additions and 0 deletions

View File

@ -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 }}