Issues

• Monopage consisting of all tables

  leanprover-community/queueboard-core#63 · Filter by author Knjigobot opened on Oct 4, 2025

• Tracking issue: queueboard filtering hacks

  leanprover-community/queueboard-core#6 · Filter by author grunweg opened on Mar 18, 2025

• Tracking issue: advanced search features

  leanprover-community/queueboard-core#7 · Filter by author grunweg opened on Mar 18, 2025

• Track queue health over time

  prio:low
  leanprover-community/queueboard-core#9 · Filter by author grunweg opened on Mar 17, 2025

• CI: automatically re-download a PR's metadata once its CI finishes

  prio:high
  leanprover-community/queueboard-core#11 · Filter by author grunweg opened on Mar 4, 2025
  4

• Mobile optimised layout

  prio:lowUX
  leanprover-community/queueboard-core#12 · Filter by author grunweg opened on Mar 3, 2025
  1

• Better CSS, back buttons

  prio:low
  leanprover-community/queueboard-core#13 · Filter by author jcommelin opened on Feb 28, 2025
  2

• More details for "number of modified files"

  enhancementprio:low
  leanprover-community/queueboard-core#14 · Filter by author jcommelin opened on Feb 28, 2025
  1

• Logic operators in search box

  enhancementprio:low
  leanprover-community/queueboard-core#15 · Filter by author jcommelin opened on Feb 28, 2025
  1

• Dark mode

  enhancementprio:low
  leanprover-community/queueboard-core#16 · Filter by author jcommelin opened on Feb 28, 2025

• List all PRs I've interacted with

  enhancementprio:medium
  leanprover-community/queueboard-core#17 · Filter by author jcommelin opened on Feb 28, 2025
  4

  

• Transitive closure of depends-on PRs

  enhancementhas-mentoring-instructionsprio:high
  leanprover-community/queueboard-core#18 · Filter by author jcommelin opened on Feb 28, 2025
  4

• Automatic notifications when PR status changes

  enhancementprio:low
  leanprover-community/queueboard-core#19 · Filter by author jcommelin opened on Feb 28, 2025

• Clicking a label/username should filter instead of linking to github

  prio:medium
  leanprover-community/queueboard-core#20 · Filter by author jcommelin opened on Feb 28, 2025
  4

• Detect PRs which don't follow the PR conventions

  prio:low
  leanprover-community/queueboard-core#21 · Filter by author jcommelin opened on Feb 28, 2025

• Filter for PRs by a user-set list of users

  enhancementprio:high
  leanprover-community/queueboard-core#22 · Filter by author grunweg opened on Feb 19, 2025
  3

• Goal: "fast" webpage updates

  prio:high
  leanprover-community/queueboard-core#23 · Filter by author grunweg opened on Feb 14, 2025

• Make dashboard generation project-agnostic

  enhancementprio:low
  leanprover-community/queueboard-core#24 · Filter by author grunweg opened on Feb 14, 2025
  1

• Fix: take CI results into account in the "last updated" and "total time in review" columns

  bugprio:low
  leanprover-community/queueboard-core#25 · Filter by author grunweg opened on Jan 21, 2025
  1

• dashboard for PRs that are blocking other PRs

  blockedprio:medium
  leanprover-community/queueboard-core#26 · Filter by author jcommelin opened on Nov 11, 2024
  2

• statistics by topic label?

  prio:low
  leanprover-community/queueboard-core#27 · Filter by author bryangingechen opened on Oct 17, 2024
  2

• Display number of PRs blocked by a given PR

  blockedprio:medium
  leanprover-community/queueboard-core#28 · Filter by author grunweg opened on Sep 14, 2024
  1

• Tables: Going to the last page of a table can cause it to scroll out of view

  prio:lowUX
  leanprover-community/queueboard-core#29 · Filter by author bryangingechen opened on Sep 2, 2024
  2

• Make links in the list of bullet points under "Overall statistics" more apparent

  prio:lowUX
  leanprover-community/queueboard-core#30 · Filter by author bryangingechen opened on Sep 2, 2024
  2

• Show "last updated" time in the local timezone

  prio:mediumUX
  leanprover-community/queueboard-core#31 · Filter by author grunweg opened on Aug 25, 2024