diff options
| author | Takashi Kokubun <takashikkbn@gmail.com> | 2025-10-03 23:51:55 -0700 |
|---|---|---|
| committer | Takashi Kokubun <takashikkbn@gmail.com> | 2025-10-03 23:52:17 -0700 |
| commit | 4da1fa3ff48c2e8db50ef9e7980c22f5f80ab876 (patch) | |
| tree | d2e9e835c3145a3af5b2ce5ec22e063a061a9e41 | |
| parent | 6fd50e38691a76ee0aef90129f89c73aeae06f34 (diff) | |
Fix the GIT_DIR given to 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 62b0a472ab..e2eee89435 100644 --- a/.github/workflows/check_misc.yml +++ b/.github/workflows/check_misc.yml @@ -63,7 +63,7 @@ jobs: if: ${{ github.repository == 'ruby/ruby' && startsWith(github.event_name, 'pull') }} - name: Push PR notes to GitHub - run: ruby tool/notes-github-pr.rb "$(pwd)" "$GITHUB_OLD_SHA" "$GITHUB_NEW_SHA" refs/heads/master + run: ruby tool/notes-github-pr.rb "$(pwd)/.git" "$GITHUB_OLD_SHA" "$GITHUB_NEW_SHA" refs/heads/master env: GITHUB_OLD_SHA: ${{ github.event.before }} GITHUB_NEW_SHA: ${{ github.event.after }} |