Search results

Cache Docker layers in CI

Status: Open.

#34 In leanprover/lean-workbench;

· Vtec234 opened on Jun 2, 2026

Root page sometimes fails to display login buttons

bugSomething isn't workingSomething isn't working

Status: Open.

#31 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Follow collaborator's cursors

enhancementNew feature or requestNew feature or request

Status: Open.

#30 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Ensure Docker image can be easily deployed to cloud providers

enhancementNew feature or requestNew feature or request

Status: Open.

#29 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Install more common software in Docker runner image

enhancementNew feature or requestNew feature or request

Status: Open.

#28 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Ability to open PDFs

enhancementNew feature or requestNew feature or request

Status: Open.

#27 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Way to easily open a scratch project from specific PR

enhancementNew feature or requestNew feature or request

Status: Open.

#26 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Admin UI for manipulating Lean toolchains

enhancementNew feature or requestNew feature or request

Status: Open.

#25 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Auto-configure git given GitHub login

enhancementNew feature or requestNew feature or request

Status: Open.

#22 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Admin UI for modifying project templates

enhancementNew feature or requestNew feature or request

Status: Open.

#21 In leanprover/lean-workbench;

· Vtec234 opened on May 28, 2026

Infoview hoverrendering missing css on firefox

bugSomething isn't workingSomething isn't working

Status: Open.

#11 In leanprover/lean-workbench;

· jcreedcmu opened on May 5, 2026