関連ワード:  github actions run on push or pull request    github action run on push and pull request    push vs pull in github    pull request types github actions    push command in github    github actions get pull request number  
結果 : github actions run on push or pull request