Skip to content
PR files

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

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

Triggered via pull request April 14, 2025 16:30
@karthiknadigkarthiknadig
labeled #24983
karthiknadig:multiroot-terminal
Status Success
Total duration 14s
Artifacts –

pr-file-check.yml

on: pull_request
Check for changed files
4s
Check for changed files
Fit to window
Zoom out
Zoom in