Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Differentiate compiling and pending in web-console editor #695

Closed
1 task
gz opened this issue Sep 13, 2023 · 0 comments · Fixed by #990
Closed
1 task

Differentiate compiling and pending in web-console editor #695

gz opened this issue Sep 13, 2023 · 0 comments · Fixed by #990
Assignees
Labels
enhancement New feature or request Web Console Related to the browser based UI

Comments

@gz
Copy link
Collaborator

gz commented Sep 13, 2023

If a program is currently compiling (because e.g., it was shipped directly in the demo container) and the user goes in the editor adds a 2nd program to try things out. Then the new program will also be stuck in "compiling..." in the editor (because there is already another program compiling).

  • The editor should ideally differentiate between compiling and "enqueued for compilation"/pending (backend already has the pending state for this but we report compiling in both cases), and not just say "compiling" at all times so we know that this might take a bit of time (e.g., there should be a tooltip on the badge that explains what's happening and why it's 'enqueued")
@gz gz added enhancement New feature or request Web Console Related to the browser based UI labels Sep 13, 2023
@Karakatiza666 Karakatiza666 added this to the v0.1.5 milestone Sep 25, 2023
@Karakatiza666 Karakatiza666 self-assigned this Oct 9, 2023
Karakatiza666 added a commit that referenced this issue Nov 8, 2023
Fix compiling programs having "building pipeline" status: #906

Signed-off-by: George <bulakh.96@gmail.com>
Karakatiza666 added a commit that referenced this issue Nov 13, 2023
Fix compiling programs having "building pipeline" status: #906

Signed-off-by: George <bulakh.96@gmail.com>
Karakatiza666 added a commit that referenced this issue Nov 14, 2023
Fix compiling programs having "building pipeline" status: #906

Signed-off-by: George <bulakh.96@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request Web Console Related to the browser based UI
Projects
None yet
Development

Successfully merging a pull request may close this issue.

3 participants