関連ワード:  github actions push and pull request    github actions push vs pull_request    github action run on push and pull request    github actions pull request push duplicate    pull request types github actions    github actions get pull request number    what is pull and push request in git    github push vs pull  
結果 : github actions push and pull request