leanprover-community/queueboard-core

View on GitHub

testing a split of code and data for the queueboard

Stars: 5
Forks: 9
Open beginner issues: 0
Indexed issues: 25
Avg merge: 2h 58m
Merged PRs (30d): 4

Dominant language: Python
License: Apache-2.0
Last GitHub push: Aug 31, 2026
Latest indexed: Sep 18, 2026
Contributing guide: No contributing guide
Code of conduct: Code of conduct
Beginner labels: No beginner labels indexed

Beginner friendly Everything

Open All

25 open issues indexed

Monopage consisting of all tables Open

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover-community/queueboard-core#63 · Opened Oct 4, 2025
Tracking issue: queueboard filtering hacks Open

Difficulty 5/5 Over a week Newbie friendliness 20/100

leanprover-community/queueboard-core#6 · Opened Mar 18, 2025
Tracking issue: advanced search features Open

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#7 · Opened Mar 18, 2025
Track queue health over time Open

prio:low

Difficulty 5/5 Over a week Newbie friendliness 35/100

leanprover-community/queueboard-core#9 · Opened Mar 17, 2025
CI: automatically re-download a PR's metadata once its CI finishes Open

prio:high

Difficulty 4/5 3-5 days Newbie friendliness 45/100

leanprover-community/queueboard-core#11 · 4 comments · Opened Mar 4, 2025
Mobile optimised layout Open

prio:low UX

Difficulty 4/5 3-5 days Newbie friendliness 25/100

leanprover-community/queueboard-core#12 · 1 comment · Opened Mar 3, 2025
Better CSS, back buttons Open

prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#13 · 2 comments · Opened Feb 28, 2025
More details for "number of modified files" Open

enhancement prio:low

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover-community/queueboard-core#14 · 1 comment · Opened Feb 28, 2025
Logic operators in search box Open

enhancement prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#15 · 1 comment · Opened Feb 28, 2025
Dark mode Open

enhancement prio:low

Difficulty 5/5 Over a week Newbie friendliness 20/100

leanprover-community/queueboard-core#16 · 1 reaction · Opened Feb 28, 2025
List all PRs I've interacted with Open

enhancement prio:medium

leanprover-community/queueboard-core#17 · 4 comments · 1 assignee · Opened Feb 28, 2025
Transitive closure of depends-on PRs Open

enhancement has-mentoring-instructions prio:high

Difficulty 5/5 Over a week Newbie friendliness 20/100

leanprover-community/queueboard-core#18 · 4 comments · Opened Feb 28, 2025
Automatic notifications when PR status changes Open

enhancement prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#19 · 1 reaction · Opened Feb 28, 2025
Clicking a label/username should filter instead of linking to github Open

prio:medium

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover-community/queueboard-core#20 · 4 comments · Opened Feb 28, 2025
Detect PRs which don't follow the PR conventions Open

prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#21 · Opened Feb 28, 2025
Filter for PRs by a user-set list of users Open

enhancement prio:high

Difficulty 4/5 3-5 days Newbie friendliness 35/100

leanprover-community/queueboard-core#22 · 3 comments · Opened Feb 19, 2025
Goal: "fast" webpage updates Open

prio:high

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#23 · Opened Feb 14, 2025
Make dashboard generation project-agnostic Open

enhancement prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#24 · 1 comment · Opened Feb 14, 2025
Fix: take CI results into account in the "last updated" and "total time in review" columns Open

bug prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#25 · 1 comment · Opened Jan 21, 2025
dashboard for PRs that are blocking other PRs Open

blocked prio:medium

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#26 · 2 comments · Opened Nov 11, 2024
statistics by topic label? Open

prio:low

Difficulty 5/5 Over a week Newbie friendliness 25/100

leanprover-community/queueboard-core#27 · 2 comments · Opened Oct 17, 2024
Display number of PRs blocked by a given PR Open

blocked prio:medium

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover-community/queueboard-core#28 · 1 comment · Opened Sep 14, 2024
Tables: Going to the last page of a table can cause it to scroll out of view Open

prio:low UX

Difficulty 3/5 1-2 days Newbie friendliness 35/100

leanprover-community/queueboard-core#29 · 2 comments · Opened Sep 2, 2024
Make links in the list of bullet points under "Overall statistics" more apparent Open

prio:low UX

Difficulty 2/5 1-3 hours Newbie friendliness 35/100

leanprover-community/queueboard-core#30 · 2 comments · Opened Sep 2, 2024
Show "last updated" time in the local timezone Open

prio:medium UX

Difficulty 3/5 1-2 days Newbie friendliness 45/100

leanprover-community/queueboard-core#31 · Opened Aug 25, 2024

leanprover-community/queueboard-core

Get new issues in your inbox