Searched full:pull_request (Results 1 – 25 of 31) sorted by relevance
12
6 pull_request: # maybe pull_request_target23 echo "DEPTH=$(( ${{ github.event.pull_request.commits }} + 1 ))" >> $GITHUB_ENV28 ref: ${{ github.event.pull_request.head.sha }}35 sha=$(git rev-parse HEAD~${{ github.event.pull_request.commits }})36 tools/build/checkstyle9.pl --github ${sha}..${{ github.event.pull_request.head.sha }}
47 ref: context.payload.pull_request.base.ref // Or a specific branch66 ref: context.payload.pull_request.base.ref // Or a specific branch118 pull_number: context.payload.pull_request.number,
13 if: ${{ github.event.action == 'opened' && github.event.pull_request.draft }}17 ISSUE: ${{ github.event.pull_request.html_url }}27 ISSUE: ${{ github.event.pull_request.html_url }}37 ISSUE: ${{ github.event.pull_request.html_url }}47 ISSUE: ${{ github.event.pull_request.html_url }}
5 pull_request:40 if ${{ github.event_name == 'pull_request' }}; then41 head=${{ github.event.pull_request.head.sha }}42 base=${{ github.event.pull_request.base.sha }}95 ref: ${{ github.event.pull_request.head.sha }}149 ref: ${{ github.event.pull_request.head.sha }}
5 pull_request:31 ref: ${{ github.event.pull_request.head.sha }}
5 pull_request:13 ref: ${{ github.event.pull_request.head.sha }}
5 pull_request:17 ref: ${{ github.event.pull_request.head.sha }}
5 pull_request:20 ref: ${{ github.event.pull_request.head.sha }}
5 pull_request:
9 pull_request:
4 on: [pull_request]
2 on: [pull_request]
12 pull_request:
4 pull_request: {paths: [src/**, .github/workflows/cifuzz.yml]}
5 pull_request: {paths: [doc/**, src/doc/*, src/include/krb5/krb5.hin, .github/workflows/doc.yml]}
6 pull_request: