Skip to content

Conversation

kylecarbs
Copy link
Member

Fixes #4691.

@kylecarbs kylecarbs requested a review from ammario April 3, 2023 15:47
@kylecarbs kylecarbs self-assigned this Apr 3, 2023
@kylecarbs kylecarbs merged commit 55c0b26 into main Apr 3, 2023
@kylecarbs kylecarbs deleted the wsbuild branch April 3, 2023 16:00
@github-actions github-actions bot locked and limited conversation to collaborators Apr 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

progress bar: Shutting down a workspace says "build running"
2 participants