diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index cc81b2c196a0..8623fafe9d75 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -53,6 +53,12 @@ jobs: docs: ${{ steps.filter.outputs.docs }} non_docs: ${{ steps.filter.outputs.non_docs }} steps: + - uses: actions/checkout@v5 + with: + ref: | + ${{ github.event_name == 'repository_dispatch' && + github.event.client_payload.pull_request.head.sha == github.event.client_payload.slash_command.args.named.sha && + format('refs/pull/{0}/head', github.event.client_payload.pull_request.number) || '' }} - uses: dorny/paths-filter@de90cc6fb38fc0963ad72b210f1f284cd68cea36 # v3 id: filter with: