We often approve pull requests while also leaving review comments. This typically means the reviewer is approving the PR in general but expects the author to resolve the comments before merging.
In these situations, the pull request should not be merged until all comments are resolved.
However, #10019 was merged with an unresolved comment, and a follow-up PR had to be created (#10027).
It seems that this rule was lost during the latest CI refactor.
We often approve pull requests while also leaving review comments. This typically means the reviewer is approving the PR in general but expects the author to resolve the comments before merging.
In these situations, the pull request should not be merged until all comments are resolved.
However, #10019 was merged with an unresolved comment, and a follow-up PR had to be created (#10027).
It seems that this rule was lost during the latest CI refactor.