Searched full:pull_request (Results 1 – 4 of 4) sorted by relevance
8 if [ "${GITHUB_EVENT_NAME}" == 'pull_request' ]; then10 …# This property is only set when the event that triggers a workflow run is either pull_request or …14 …# This is only set when the event that triggers a workflow run is either pull_request or pull_requ…
4 pull_request:
3 on: [push, pull_request]
4 - "pull_request"