GitHub Actionsのpushイベントとpull_requestイベントではGITHUB_SHAが異なる - くりにっきtl;dr; 検証内容 サンプルコード masterブランチに普通にpushした時 PullRequestに対してpushした場合 pushイベントの結果 pull_requestイベントの結果 解説 2021/01/08 追記 GITHUB_SHAが異なることで何が困るか 余談：tfnotifyでpull_requestイベントの時にもPullRequestにコメントをつけたい FAQ Q. だったらpull_requestは不要では？ 今の心境 tl;dr; タイトルが全て 検証内容 サンプルコード GitHub Actionsで使える（事前定義済みの）環境変数 *1を列挙するだけのシンプルなワークフローです on: - push - pull_request jobs: show_env: runs-on: ubuntu-latest steps: - run: env | grep
