Skip to content

feat(terminal): add touch selection "More" menu API and wire select dialog #287

feat(terminal): add touch selection "More" menu API and wire select dialog

feat(terminal): add touch selection "More" menu API and wire select dialog #287

Triggered via pull request February 26, 2026 12:38
Status Success
Total duration 8s
Artifacts

add-pr-labels.yml

on: pull_request_target
add-labels
4s
add-labels
Fit to window
Zoom out
Zoom in