Searched full:pull_request (Results 1 – 2 of 2) sorted by relevance
6 pull_request:14 # cannot specify filter for pull_request in on: above, so do it here15 …if: github.repository_owner == 'raspberrypi' && (github.event_name != 'pull_request' || !startsWit…
5 pull_request: