Skip to content

Use name in terminal create after Shell Type API is finalized #1270

Use name in terminal create after Shell Type API is finalized

Use name in terminal create after Shell Type API is finalized #1270

Triggered via issue February 5, 2026 17:00
Status Skipped
Total duration 1s
Artifacts

triage-info-needed.yml

on: issue_comment
add_label
add_label
remove_label
remove_label
Fit to window
Zoom out
Zoom in