Workflows run when an agent's pull request is marked ready
pull.ready carried no commit, so the actions service ran a pull request's workflows on its recorded head. An agent pushes and marks the pull request ready in a moment, and when the issue has acceptance checks, starting them records the head too, so the push that follows no longer counts as a move and no pull.updated is sent. When the actions service read the pull request before then, there was no head and nothing ran: hello's #83 was green on its checks and met CI only in the merge queue. The event now carries the head as git has it, read from the repos service (head with an empty branch means the default branch, where a fork carries its change).
No changes
This commit changes no files.