関連ワード:  github workflow on push and pull request    github push vs pull    how to use github workflow  
結果 : github workflow push vs pull request