Re: PR builder broken

I think this happens globally https://www.githubstatus.com/ On Thu, May 11, 2023 at 6:50 AM Xingbo Jiang wrote: > 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

PR builder broken

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), :81:22) Error: Unhandled