fix: change coder start to be a no-op if workspace is started#11381

Merged

spikecurtis merged 1 commit intomainfrom

spike/11380-start-no-op

Jan 3, 2024

Commits on Jan 3, 2024

fix: change coder start to be a no-op if workspace is started
spikecurtis
committed