Merge queue broken?

Stream: mathlib4

[Artie Khovanov]

The merge queue appears to have been broken for a couple days now?
https://github.com/leanprover-community/mathlib4/labels/ready-to-merge

[Andrew Yang]

I think #20526 is the only one that bors is not working. The other all had errors so bors couldn't merge them.

[Bryan Gin-ge Chen]

Thanks! I've merged the ones that look mergeable and delegated the others.

[Artie Khovanov]

Thanks!