関連ワード:  github action get pull request number    github actions get pull request number on push    github action pull request number  
結果 : github action get pull request number