Searched full:pull_request (Results 1 – 25 of 32) sorted by relevance
12
12 pull_request:47 ref: ${{ github.event.pull_request.head.sha }}52 if: github.event_name == 'pull_request'56 PR_HEAD: ${{ github.event.pull_request.head.sha }}89 if [[ "${{ github.event_name }}" == "pull_request" ]]; then126 if: github.event_name == 'pull_request'129 PR_NUM="${{ github.event.pull_request.number }}"141 if: github.event_name == 'pull_request'149 github.event_name != 'pull_request' &&
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 }}
21 if: github.event.pull_request.draft == false41 FLAGS+=" -P ${{ github.event.pull_request.number }}"
9 pull_request:38 if: github.event_name == 'pull_request'41 PR_HEAD: ${{ github.event.pull_request.head.sha }}
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 }}!
17 github.event.pull_request.merged &&
4 pull_request:
3 on: [pull_request]
14 ref: ${{ github.event.pull_request.head.sha }}
3 pull_request:
51 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}78 ref: ${{ github.event.pull_request.head.sha }}224 ref: ${{ github.event.pull_request.head.sha }}
14 pull_request:
18 pull_request:
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]
35 group.add_argument("-P", "--pull_request", required=False, default=None, type=int,355 if args.pull_request:356 process_pr(gh, maintainer_file, args.pull_request)
144 if args.pull_request:145 pr = gh_repo.get_pull(args.pull_request)
