関連ワード:  github actions on pull request vs push    github actions on pull request and push    github actions pull request push duplicate    push vs pull in github    pull request vs git push  
結果 : github actions on pull request vs push