Searched full:pull_request (Results 1 – 25 of 133) sorted by relevance
123456
9 pull_request:20 …if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github…39 …if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github…57 …if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github…79 …if: github.event_name != 'pull_request' || github.event.pull_request.head.repo.full_name != github…
4 pull_request:10 …pull_request.merged == true && github.event.pull_request.head.repo.full_name == github.event.pull_…
44 pull_request:52 tag: ${{ !github.event.pull_request && github.ref_name || '' }}53 tag-flag: ${{ !github.event.pull_request && format('--tag={0}', github.ref_name) || '' }}54 publishing: ${{ !github.event.pull_request }}68 # functionality based on whether this is a pull_request, and whether it's from a fork.73 …cargo dist ${{ (!github.event.pull_request && format('host --steps=create --tag={0}', github.ref_n…
5 pull_request:76 if: github.event_name != 'pull_request'108 if: github.event_name != 'pull_request'126 if: github.event_name != 'pull_request'138 if: github.event_name != 'pull_request'150 if: github.event_name != 'pull_request'
5 pull_request:34 if: github.event_name != 'pull_request'44 if: github.event_name != 'pull_request'
5 pull_request:22 if: github.event_name != 'pull_request'94 if: github.event_name != 'pull_request'104 if: github.event_name != 'pull_request'
5 pull_request:72 if: github.event_name != 'pull_request'98 if: github.event_name != 'pull_request'
21 pull_request: []75 if: (github.event_name != 'pull_request')83 if: (github.event_name != 'pull_request')
5 pull_request:26 if: ${{ github.event_name == 'pull_request' }}
6 pull_request:37 # if: ${{ github.event_name == 'pull_request' }}
5 pull_request:138 if: github.event_name != 'pull_request'167 if: github.event_name != 'pull_request'
5 pull_request:164 if: github.event_name != 'pull_request'177 if: github.event_name != 'pull_request'
5 pull_request:192 if: github.event_name != 'pull_request'219 if: github.event_name != 'pull_request'
3 on: [ push, pull_request ]
2 on: [pull_request]
3 pull_request:
4 on: [pull_request]
6 pull_request:
6 on: [pull_request]
25 pull_request:43 HEAD_SHA: "${{ github.event.pull_request.head.sha || github.sha }}"47 if: "github.event_name == 'pull_request'"77 if: "success() && !env.SKIP_JOB && github.event_name == 'pull_request'"166 HEAD_SHA: "${{ github.event.pull_request.head.sha || github.sha }}"461 if: "success() && !env.SKIP_JOB && github.event_name == 'pull_request'"551 HEAD_SHA: "${{ github.event.pull_request.head.sha || github.sha }}"581 if: "success() && !env.SKIP_JOB && github.event_name == 'pull_request'"
4 pull_request: {}
4 pull_request: