Connection error?

Stream: mathlib4

[Felix Pernegger]

(Sorry if this is the wrong channel for this or someone has already reported this)
Right now making a PR doesn't pass merge check due to "Maintainer merge (workflow_run)", apparently due to a connection error.

[Bryan Gin-ge Chen]

You can safely ignore that failure - those workflows are triggered by comments (this was the run upstream of the failing one in this case) and reviews, not by commits to the PR, so they shouldn't affect whether your PR shows up on the queue. Note in particular that the list of checks on your commit at #33038 doesn't include the failed "Maintainer merge (workflow_run)".

I noticed a few other similar failures, but don't see an issue at https://githubstatus.com yet.