Dev tools #8204

Open

Open

Labels

bugdevtools-integration

Unable to open dev Tools after the upgrade

Contributor

/fyi @elliette, @helin24

added

devtools-integration

on May 23, 2025

to join this conversation on GitHub. Already have an account? Sign in to comment

Metadata

Assignees

No one assigned

Labels

bugdevtools-integration

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

Code with Copilot Agent Mode

No branches or pull requests

Participants