PR not on the review queue

Stream: new members

[Snir Broshi]

Hello, my PR #30559 seemingly passes all requirements to be on the review queue, as is confirmed by the "Why is my PR not on the queue?" page, but it's missing from the review queue page.

Any idea why?

[Bryan Gin-ge Chen]

I'm taking a look; from the latest queueboard log it seems that there's some kind of inconsistency in the GitHub data or our processing of it:

assertion failure comparing comparing this page's review dashboard (left) with the Github #queue (right)
found 418 PR(s) on the left, 405 PR(s) on the right
the following 15 PR(s) are contained in left, but not right: [26155, 27162, 28001, 28097, 30200, 30206, 30286, 30345, 30461, 30518, 30559, 30577, 30633, 30645, 30646]
the following 2 PR(s) are contained in right, but not left: [30522, 30572]

Maybe @Michael Rothgang knows why this happens off the top of his head?

[Snir Broshi]

One side seems fixed, it's now saying:

assertion failure comparing comparing this page's review dashboard (left) with the Github #queue (right)
found 418 PR(s) on the left, 420 PR(s) on the right
the following 2 PR(s) are contained in right, but not left: [30522, 30572]

[Snir Broshi]

The problem now seems to be that the "Why is my PR not on the queue?" page thinks the CI failed but it actually passed.

[Bryan Gin-ge Chen]

Hmm, I just refreshed and it's appearing for me now:

• https://leanprover-community.github.io/queueboard/review_dashboard.html?search=30559
  Screenshot 2025-10-18 at 1.59.19 PM.png

  

• https://leanprover-community.github.io/queueboard/on_the_queue.html?search=30559
  Screenshot 2025-10-18 at 1.59.06 PM.png

  

I might not have time to look into this further, but the raw data for your PR used by the queueboard is here: https://github.com/leanprover-community/queueboard/blob/b6d126277281352c7f1c0fe98f5b0d6c27c87602/data/30559/pr_info.json

[Snir Broshi]

Yes 30559 specifically is fixed like I mentioned above, but the problem persists

[Snir Broshi]

In fact, the latest log claims:

assertion failure comparing comparing this page's review dashboard (left) with the Github #queue (right)
found 414 PR(s) on the left, 414 PR(s) on the right
the following 2 PR(s) are contained in left, but not right: [30567, 30656]
the following 2 PR(s) are contained in right, but not left: [30522, 30572]

but actually 30232 should also be on the review queue but isn't, and it isn't even detected as a mismatch.