-
Notifications
You must be signed in to change notification settings - Fork 1.2k
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
Replace workspace search alert #11592
Conversation
b037e0e
to
6b850b0
Compare
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
🧡
/hold (I think this is blocking the merge pool). |
6b850b0
to
16aac9b
Compare
I've pushed a fix for this which was failing the build. |
started the job as gitpod-build-gt-replace-workspace-search-alert.4 because the annotations in the pull request description changed |
Thanks for taking a look @easyCZ, @andrew-farries, and @geropl! 🏀 Removing the hold. 🚂 /unhold |
Build failed due to registry facade /werft run with-preview 👍 started the job as gitpod-build-gt-replace-workspace-search-alert.5 |
16aac9b
to
eaa779e
Compare
Description
This will replace the custom alert component added in #8632 for searching workspaces only by their IDs.
Related Issue(s)
Fixes #8701
How to test
Screenshots
Release Notes
Documentation
Werft options: