Repository navigation

🐛 Report the real PR title, head commit, and author on GitHub pull_request runs - #369

Merged

Robdel12 merged 1 commit into

mainfrom

rd/fix-pr-build-metadata

Sep 29, 2026

Commits on Sep 29, 2026
- 🐛 Report the real PR title, head commit, and author on GitHub pull_request runs
  Robdel12
  committed
  564bcf9