Make ide optional for dev-environment#3656

peterschmidt85 wants to merge 1 commit intomasterdstackai/dstack:masterfrom

optional-ide-dev-environmentdstackai/dstack:optional-ide-dev-environmentCopy head branch name to clipboard