-
Notifications
You must be signed in to change notification settings - Fork 9
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
- Status: Open.#63 In leanprover-community/queueboard-core;
- Status: Open.#6 In leanprover-community/queueboard-core;
- Status: Open.#7 In leanprover-community/queueboard-core;
- Status: Open.#9 In leanprover-community/queueboard-core;
- Status: Open.#11 In leanprover-community/queueboard-core;
Mobile optimised layout
UXChange to the user experience of using this dashboardChange to the user experience of using this dashboardStatus: Open.#12 In leanprover-community/queueboard-core;- Status: Open.#13 In leanprover-community/queueboard-core;
More details for "number of modified files"
enhancementNew feature or requestNew feature or requestStatus: Open.#14 In leanprover-community/queueboard-core;Logic operators in search box
enhancementNew feature or requestNew feature or requestStatus: Open.#15 In leanprover-community/queueboard-core;Dark mode
enhancementNew feature or requestNew feature or requestStatus: Open.#16 In leanprover-community/queueboard-core;List all PRs I've interacted with
enhancementNew feature or requestNew feature or requestStatus: Open.#17 In leanprover-community/queueboard-core;Transitive closure of depends-on PRs
enhancementNew feature or requestNew feature or requestStatus: Open.#18 In leanprover-community/queueboard-core;