Skip to content
PR labels

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

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 #7896

Run time

Learn about OS pricing on GitHub Actions
Job Run time
Classify PR
6s
6s