Lines Matching full:pull_request

12   pull_request:
37         ref: ${{ github.event.pull_request.head.sha }}
65         ( needs.doc-file-check.outputs.file_check == 'true' || github.event_name != 'pull_request' )
85         ref: ${{ github.event.pull_request.head.sha }}
89       if: github.event_name == 'pull_request'
93         PR_HEAD: ${{ github.event.pull_request.head.sha }}
129         if [[ "${{ github.event_name }}" == "pull_request" ]]; then
165       if: github.event_name == 'pull_request'
168         PR_NUM="${{ github.event.pull_request.number }}"
180       if: github.event_name == 'pull_request'
189       github.event_name != 'pull_request' &&