Impossible to merge: status check is expected, despite it's validated

[curquiza]

Sorry if it's related to this issue, but I'm not sure: #1492

Here are our settings:

status = [
    'Tests on ubuntu-18.04 with stable',
    'Tests on macos-latest with stable',
    'Tests on windows-latest with stable',
    'Run Rustfmt',
]
pr_status = ['Specify breaking']
# 3 hours timeout
timeout-sec = 10800

One of our problematic PR: meilisearch/milli#494
Every test passes, and the Specify breaking status check is validated. However, Bors refuses to merge:

This PR was included in a batch that successfully built, but then failed to merge into main. It will not be retried.

Additional information:

{"message":"Required status check \"Specify breaking\" is expected.","documentation_url":"https://docs.github.com/articles/about-protected-branches"}

But regarding the bors dashboard, only this PR (the 494 I linked above) was in the batch:

Thanks in advance for your help!

[notriddle]

You have to turn the required status check off in the GitHub settings screen.

[curquiza]

ok thanks for your quick answer!
We will try this 🙂
I close the issue and I will re-open if needed!