Searched full:pull_request (Results 1 – 22 of 22) sorted by relevance
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 }}
6 pull_request:
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:46 if ${{ github.event_name == 'pull_request' }}; then47 head=${{ github.event.pull_request.head.sha }}48 base=${{ github.event.pull_request.base.sha }}96 ref: ${{ github.event.pull_request.head.sha }}150 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:19 ref: ${{ github.event.pull_request.head.sha }}
5 pull_request:
55 ref: ${{ github.event.pull_request.head.sha }}
52 if: type != pull_request55 if: type != pull_request
4 on: [pull_request]
2 on: [pull_request]
12 pull_request:
5 pull_request: {paths: [doc/**, src/doc/*, src/include/krb5/krb5.hin, .github/workflows/doc.yml]}
5 pull_request: {paths: [src/**, .github/workflows/build.yml]}
258 …- if [ "$TRAVIS_EVENT_TYPE" = "pull_request" ]; then git fetch origin refs/pull/${TRAVIS_PULL_REQU…