Open
Description
Dev Home version
0.1801.640.0
Windows build number
10.0.22631.0
Other software
No response
Steps to reproduce the bug
- Create a dev center without any definition.
- Create a project without a dev box pool using the dev center mentioned in step1.
- Add user identity for both the dev center and project you created.
- Launch the dev home and try to create a dev box environment.
- Check the project dropdown list.
Expected result
The project without a dev box pool should not appear in the project dropdown list.
Actual result
Projects without a dev box pool still appear in the project list.
Included System Information
No response
Included Extensions Information
- Dev Home (Preview) Version 0.1801.640.0
- Dev Home Azure Extension Version 0.1300.624.0
- Dev Home GitHub Extension Version 0.1800.625.0