Use commit hash to get PR title in process replay
Opened this issue · 0 comments
Qazalin commented
This will unblock ASSERT_PROCESS_REPLAY=1 in update_benchmark.
https://docs.github.com/en/search-github/searching-on-github/searching-issues-and-pull-requests#search-by-commit-sha.
Right now it uses os.getenv("PR_TITLE")