Skip to content

Conversation

mafredri
Copy link
Member

@mafredri mafredri commented Nov 8, 2022

This seemed like the obvious case, but I have yet to verify if it actually fixes the bug.

Maybe fixes #4948

@mafredri mafredri self-assigned this Nov 8, 2022
@mafredri mafredri requested a review from kylecarbs November 8, 2022 12:00
Copy link
Member

@kylecarbs kylecarbs left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Ahh, good find!

@mafredri mafredri merged commit d1c82f6 into main Nov 8, 2022
@mafredri mafredri deleted the mafredri/build-log-queue-fix branch November 8, 2022 15:56
@github-actions github-actions bot locked and limited conversation to collaborators Nov 8, 2022
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.

Not all build logs are streamed to CLI after v0.12.5 update (e.g. when running coder start or coder update)
2 participants