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.

Sign up for GitHub

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

Jump to bottom

Stop workspace instances whose image build failed #12138

Closed
geropl opened this issue Aug 15, 2022 · 0 comments · Fixed by #12139
Closed

Stop workspace instances whose image build failed #12138

geropl opened this issue Aug 15, 2022 · 0 comments · Fixed by #12139
Assignees
@geropl
Labels
component: server feature: workspace image build type: bug Something isn't working

Comments

@geropl
Copy link
Member

geropl commented Aug 15, 2022

Currently, we leave those in "building" and wait for a GC loop to correct this, which introduces unnecessary delays.
@geropl geropl self-assigned this Aug 15, 2022
@geropl geropl moved this to In Progress in 🍎 WebApp Team Aug 15, 2022
This was referenced Aug 15, 2022
Merged
Closed
@geropl geropl changed the title Stop workspaces whose image builds failed Stop workspace instances whose image build failed Aug 15, 2022
Repository owner moved this from In Progress to Done in 🍎 WebApp Team Aug 16, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@geropl geropl

Labels
component: server feature: workspace image build type: bug Something isn't working
Projects
🍎 WebApp Team
Archived in project
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

[server] Mark instances whose image build failed as "stopped" gitpod-io/gitpod
1 participant
@geropl