Add "closed-pr" emoji in Zulip?

Stream: PR reviews

[Robert Maxton]

For some reason, #23992 is failing CI because, of all things, it can't add a "closed-pr" emoji in Zulip somewhere? I am very confused and looking at the detailed log doesn't much clarify things.

[Bryan Gin-ge Chen]

I suspect we may be hitting some kind of API limit. Let me ping @Damiano Testa who may be able to give a quicker answer.

For now I would say you can ignore that particular red x. That job isn't required to succeed for us to merge your PR anyways.

[Robert Maxton]

Mmk. So long as it gets into the review queue -- I've got a backlog ^.^;