Hi dev, I've seen multiple PR builder failures like below since this morning: ``` TypeError: Cannot read properties of undefined (reading 'head_sha') at eval (eval at callAsyncFunction (/home/runner/work/_actions/actions/github-script/v6/dist/index.js:15143:16), <anonymous>:81:22) Error: Unhandled error: TypeError: Cannot read properties of undefined (reading 'head_sha') at processTicksAndRejections (node:internal/process/task_queues:96:5) at async main (/home/runner/work/_actions/actions/github-script/v6/dist/index.js:15236:20) ``` (Example links: https://github.com/apache/spark/actions/runs/4940984520/jobs/8833154761?pr=40690, https://github.com/apache/spark/actions/runs/4939269706/jobs/8829852985?pr=41123 )
It may be related to github, could someone help take a look? Thanks, Xingbo