-
Notifications
You must be signed in to change notification settings - Fork 0
All issues
Issue creation is restricted in this repository
Issues
is:issue state:open
is:issue state:open
Search results
Unicode expansion triggers twice in collaborative mode
bugSomething isn't workingSomething isn't workingStatus: Open.#65 In leanprover/lean-workbench;Admin UI does not degrade gracefully with errors
bugSomething isn't workingSomething isn't workingStatus: Open.#64 In leanprover/lean-workbench;Show a 'editor loading' spinner on project pages
enhancementNew feature or requestNew feature or requestStatus: Open.#63 In leanprover/lean-workbench;Processes are SIGKILLed on shutdown
enhancementNew feature or requestNew feature or requestStatus: Open.#62 In leanprover/lean-workbench;External process shutdown is not handled
bugSomething isn't workingSomething isn't workingStatus: Open.#61 In leanprover/lean-workbench;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;