diff options
| author | Takashi Kokubun <takashikkbn@gmail.com> | 2025-10-03 23:16:16 -0700 |
|---|---|---|
| committer | Takashi Kokubun <takashikkbn@gmail.com> | 2025-10-03 23:16:52 -0700 |
| commit | e40d3c5bd8d8c1a26a75717aa7fbe39622a715bb (patch) | |
| tree | 502cdaecdafae9e217a2f5f5375243a347f598d3 | |
| parent | ecc5ebc69a76f3a267a90b9af3d6754b3cc21265 (diff) | |
Fix the path of notes-github-pr
| -rw-r--r-- | .github/workflows/check_misc.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/check_misc.yml b/.github/workflows/check_misc.yml index d4da4ecc27..347e8a9b19 100644 --- a/.github/workflows/check_misc.yml +++ b/.github/workflows/check_misc.yml @@ -133,7 +133,7 @@ jobs: if: ${{ steps.docs.outcome == 'success' }} - name: Push PR notes to GitHub - run: ruby tool/notify-github-pr.rb "$(pwd)" "$GITHUB_OLD_SHA" "$GITHUB_NEW_SHA" refs/heads/master + run: ruby tool/notes-github-pr.rb "$(pwd)" "$GITHUB_OLD_SHA" "$GITHUB_NEW_SHA" refs/heads/master env: GITHUB_OLD_SHA: ${{ github.event.before }} GITHUB_NEW_SHA: ${{ github.event.after }} |