Zulip Chat Archive
Stream: mathlib4
Topic: Review queue
Kenny Lau (Sep 23 2025 at 10:48):
https://leanprover-community.github.io/queueboard/review_dashboard.html
Michael Rothgang (Sep 23 2025 at 14:51):
CC @Bryan Gin-ge Chen
Otherwise, I can take a look when back from holiday (next Monday)
Michael Rothgang (Sep 23 2025 at 14:52):
Seems like the "frontend" cannot find the data the "backend" downloaded, I.e. probably a recent regression.
Michael Rothgang (Sep 23 2025 at 14:54):
The ??? are placeholder values for "I'm missing detailed data".
Bryan Gin-ge Chen (Sep 23 2025 at 15:32):
Taking a look now!
Bryan Gin-ge Chen (Sep 23 2025 at 16:28):
I think this is fixed now, thanks for the report!
Last updated: Dec 20 2025 at 21:32 UTC