Searched full:pull_request (Results 1 – 25 of 32) sorted by relevance
12
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" ]]; then165 if: github.event_name == 'pull_request'168 PR_NUM="${{ github.event.pull_request.number }}"180 if: github.event_name == 'pull_request'[all …]
11 if: github.event.pull_request.merged == true && github.repository == 'zephyrproject-rtos/zephyr'24 …python3 ./scripts/ci/stats/merged_prs.py --pull-request ${{ github.event.pull_request.number }} --…
37 -b ${{ github.event.pull_request.base.ref }} \38 -p ${{ github.event.pull_request.number }}
14 pull_request:34 ref: ${{ github.event.pull_request.head.sha }}41 PR_HEAD: ${{ github.event.pull_request.head.sha }}
9 pull_request:38 if: github.event_name == 'pull_request'41 PR_HEAD: ${{ github.event.pull_request.head.sha }}
21 if: github.event.pull_request.draft == false41 FLAGS+=" -P ${{ github.event.pull_request.number }}"
35 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}61 ref: ${{ github.event.pull_request.head.sha }}123 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}
3 on: pull_request13 ref: ${{ github.event.pull_request.head.sha }}
4 pull_request:23 ref: ${{ github.event.pull_request.head.sha }}66 if: ${{ github.event.pull_request.body == '' }}
29 Hello @${{ github.event.pull_request.user.login }}, and thank you very much for your46 Hi @${{ github.event.pull_request.user.login }}!
4 pull_request:
17 github.event.pull_request.merged &&
3 on: [pull_request]
3 pull_request:
14 ref: ${{ github.event.pull_request.head.sha }}
26 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}54 ref: ${{ github.event.pull_request.head.sha }}
14 pull_request:
18 pull_request:
51 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}77 ref: ${{ github.event.pull_request.head.sha }}
15 pull_request:
21 github.event.workflow_run.event != 'pull_request' &&
16 pull_request:
32 return (issue.pull_request is None and
56 open_bugs = [issue for issue in get_open_bugs() if not issue.pull_request]
144 if args.pull_request:145 pr = gh_repo.get_pull(args.pull_request)
