Searched full:pull_request (Results 1 – 19 of 19) 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:
7 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:41 if ${{ github.event_name == 'pull_request' }}; then42 head=${{ github.event.pull_request.head.sha }}43 base=${{ github.event.pull_request.base.sha }}83 ref: ${{ github.event.pull_request.head.sha }}137 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]
258 …- if [ "$TRAVIS_EVENT_TYPE" = "pull_request" ]; then git fetch origin refs/pull/${TRAVIS_PULL_REQU…