PR に紐付けたいワークフローは push ではなく pull_request イベントを使おう [GitHub Actions]

概要 ジョブ実行画面に PR へのリンクがないから不便という記事に賛同している人が思いのほか多かったのでこの記事を書いておきます。 pull_request イベントは PR へリンクされる pull_request イベントには最初から PR へのリンクが用意されています。 なぜ push イベント？ push イベントを使いたくなる理由は主に以下の 2 つかなと思っていますがいずれも pull_request イベントで実現可能です。 PR が更新されたときに実行したい PR のブランチで実行したい PR が更新されたときに実行する pull_request イベントはデフォルトで types: [ opened, synchronize, reopened ] のときに実行されます。 このうち synchronize が PR が更新されたときに該当します。 PR のブランチで実行す