-
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
[fix] : workspace options model closes on space #15889
Conversation
annotations in the pull request changed, but user is not allowed to start a job |
annotations in the pull request changed, but user is not allowed to start a job |
/werft run 👍 started the job as gitpod-build-issue-15690-fork.0 |
/werft run with-clean-slate-deployment=true with-preview=true recreate-vm=true 👍 started the job as gitpod-build-issue-15690-fork.1 |
/werft run 👍 started the job as gitpod-build-issue-15690-fork.2 |
Thank you, looks good! Can you squash the two commits into one, please? 😇 |
462486e
to
851dc2a
Compare
Sure! |
/werft run with-clean-slate-deployment=true with-preview=true recreate-vm=true 👍 started the job as gitpod-build-issue-15690-fork.3 |
Description
toggleDropDown()
was called on" "
space, removed that.Screencast.from.19-01-23.06.25.46.PM.IST.webm
Related Issue(s)
Fixes #15690
Release Notes
Documentation
Build Options:
Experimental feature to run the build with GitHub Actions (and not in Werft).
If enabled this will build
install/preview
Valid options are
all
,workspace
,webapp
,ide
,jetbrains
,vscode
,ssh