関連ワード:  github actions push or pull request    github actions check if push or pull request    github actions run on push or pull request    github actions push vs pull_request    github actions pull request push duplicate    pull request types github actions    push vs pull in github    github actions get pull request number    why use github actions  
結果 : github actions push or pull request