-
Notifications
You must be signed in to change notification settings - Fork 1.3k
[usage] smaller UI improvements #12858
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
Conversation
started the job as gitpod-build-se-small-usage-ui-impr.1 because the annotations in the pull request description changed |
started the job as gitpod-build-se-small-usage-ui-impr.2 because the annotations in the pull request description changed |
started the job as gitpod-build-se-small-usage-ui-impr.3 because the annotations in the pull request description changed |
a81357e
to
5cbc81e
Compare
/hold |
5cbc81e
to
f92ab58
Compare
Thanks for this. I was just about to cut a ticket for the no results issue. |
I think the build failed because it couldn't remove some workspace pods. The preview environment is running though. |
/unhold |
/werft run --clean-slate-deployment 👍 started the job as gitpod-build-se-small-usage-ui-impr.7 |
/werft run --with-clean-slate-deployment 👍 started the job as gitpod-build-se-small-usage-ui-impr.8 |
@svenefftinge When using the |
/werft run with-clean-slate-deployment 👍 started the job as gitpod-build-se-small-usage-ui-impr.9 |
/werft run 👍 started the job as gitpod-build-se-small-usage-ui-impr.11 |
Description
Three small UI improvmeents on the usage view:
No sessions found
on empty listRelated Issue(s)
Fixes #12803
How to test
Release Notes
Documentation
Werft options: