関連ワード:  github action push to pull request    github action run on push to pull request    github actions trigger on push to pull request    github action push vs pull request    github actions pull request push duplicate    github actions get pull request number    pull request types github actions    how to pull push github  
結果 : github action push to pull request