Skip to content
Copy to API/events issue to docs-content

setting-your-default-editor-for-github-codespaces.md: Choose default editor missing correct option #10227

Sign in to view logs

setting-your-default-editor-for-github-codespaces.md: Choose default editor missing correct option

setting-your-default-editor-for-github-codespaces.md: Choose default editor missing correct option #10227

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Transfer issue
0s
0s