Skip to content
PR files

fix: ensure that we use new extension when available for terminal creation #13394

Sign in to view logs

fix: ensure that we use new extension when available for terminal creation

fix: ensure that we use new extension when available for terminal creation #13394

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Check for changed files
5s
5s