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