Comment by Elfener

Ah so that's why I got a random "github-merge-queue Bot removed this pull request from the merge queue due to no response for status checks"