-
Notifications
You must be signed in to change notification settings - Fork 9
Pull requests: leanprover-community/queueboard
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
change(regenerate_dashboard.yml): only fetch aggregate data
#71
opened Feb 15, 2025 by
grunweg
Loading…
change(dashboard.py): use aggregate data as single source of truth
blocked
#70
opened Feb 14, 2025 by
grunweg
Loading…
ProTip!
Exclude everything labeled
bug with -label:bug.