-
Notifications
You must be signed in to change notification settings - Fork 0
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Impose resource limits
enhancementNew feature or requestNew feature or requestStatus: Open.#55 In leanprover/lean-workbench;Vscode-server processes are not being killed
bugSomething isn't workingSomething isn't workingStatus: Open.#54 In leanprover/lean-workbench;Warn admin when no swap is configured
enhancementNew feature or requestNew feature or requestStatus: Open.#53 In leanprover/lean-workbench;Ensure templates are fully built
enhancementNew feature or requestNew feature or requestStatus: Open.#50 In leanprover/lean-workbench;Way for admins to customize front page
enhancementNew feature or requestNew feature or requestStatus: Open.#49 In leanprover/lean-workbench;Prettier UI components
enhancementNew feature or requestNew feature or requestStatus: Open.#41 In leanprover/lean-workbench;Root page sometimes fails to display login buttons
bugSomething isn't workingSomething isn't workingStatus: Open.#31 In leanprover/lean-workbench;Follow collaborator's cursors
enhancementNew feature or requestNew feature or requestStatus: Open.#30 In leanprover/lean-workbench;Ensure Docker image can be easily deployed to cloud providers
enhancementNew feature or requestNew feature or requestStatus: Open.#29 In leanprover/lean-workbench;Way to easily open a scratch project from specific PR
enhancementNew feature or requestNew feature or requestStatus: Open.#26 In leanprover/lean-workbench;Admin UI for manipulating Lean toolchains
enhancementNew feature or requestNew feature or requestStatus: Open.#25 In leanprover/lean-workbench;Admin UI for modifying project templates
enhancementNew feature or requestNew feature or requestStatus: Open.#21 In leanprover/lean-workbench;