Searched full:pull_request (Results 1 – 25 of 30) sorted by relevance
12
12 pull_request:49 ref: ${{ github.event.pull_request.head.sha }}53 if: github.event_name == 'pull_request'57 PR_HEAD: ${{ github.event.pull_request.head.sha }}99 if [[ "${{ github.event_name }}" == "pull_request" ]]; then131 if: github.event_name == 'pull_request'134 PR_NUM="${{ github.event.pull_request.number }}"146 if: github.event_name == 'pull_request'154 github.event_name != 'pull_request' &&
30 -b ${{ github.event.pull_request.base.ref }} \31 -p ${{ github.event.pull_request.number }}
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 }} --…
14 pull_request:34 ref: ${{ github.event.pull_request.head.sha }}41 PR_HEAD: ${{ github.event.pull_request.head.sha }}
9 pull_request:39 if: github.event_name == 'pull_request'42 PR_HEAD: ${{ github.event.pull_request.head.sha }}
21 if: github.event.pull_request.draft == false42 FLAGS+=" -P ${{ github.event.pull_request.number }}"
3 on: pull_request13 ref: ${{ github.event.pull_request.head.sha }}
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_request17 ref: ${{ github.event.pull_request.head.sha }}
3 on: [pull_request]
3 pull_request:
14 ref: ${{ github.event.pull_request.head.sha }}
24 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}46 ref: ${{ github.event.pull_request.head.sha }}
42 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}64 ref: ${{ github.event.pull_request.head.sha }}141 … COMMIT_RANGE: ${{ github.event.pull_request.base.sha }}..${{ github.event.pull_request.head.sha }}161 ref: ${{ github.event.pull_request.head.sha }}
14 pull_request:
21 github.event.workflow_run.event != 'pull_request' &&
16 pull_request:
18 github.event.workflow_run.event == 'pull_request' &&
15 pull_request:
56 ref: ${{ github.event.pull_request.head.sha }}
32 return (issue.pull_request is None and
144 if args.pull_request:145 pr = gh_repo.get_pull(args.pull_request)
