Auto release pipeline broken?

[alicederyn]

It looks like the PRs to publish the last two versions of pyright have not landed despite being labelled automated pr, is an automated pipeline broken?

• [pyright updated to 1.1.412] Update Version #364
• [pyright updated to 1.1.413] Update Version #365

(If not, could one be set up?)