Searched full:pull_request (Results 1 – 6 of 6) sorted by relevance
5 pull_request:9 …if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head…38 git checkout ${{ github.sha }} || git checkout ${{ github.event.pull_request.head.sha }}
5 pull_request:9 …if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head…
6 pull_request:11 …if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head…
4 pull_request:8 …if: ${{ github.event_name != 'pull_request' || github.repository != github.event.pull_request.head…
