Behavior when a PR is closed

Hi, I'm trying out bors for the first time. I tried to merge a PR that purposely fails CI with "bors merge". Then, I closed the PR. I noticed that bors didn't seem to remove the PRs from the queue, and still had them in the "waiting to run" section on the dash. Is that the desired behavior? Is there a way to configure bors to remove PRs from the queue when they are closed?

Thanks for any help anyone can provide! Screenshot of the dash is below- both of those PRs were actually closed on GitHub.

1 Like

It's not really intended to do that, no. Any PR to fix this is welcome; it's just never been a priority because it hasn't come up in practice.

Had the same problem too.
In my case it even made bors stuck, it didn't start any waiting batches. When executing bors r- on the closed PR, it got released.