Skip to content
PR labels

Add short title to Run Selection/Line in Python Terminal command #9612

Sign in to view logs

Add short title to Run Selection/Line in Python Terminal command

Add short title to Run Selection/Line in Python Terminal command #9612

This workflow is awaiting approval from a maintainer in #25917
Triggered via pull request July 2, 2026 22:20
@eleanorjboydeleanorjboyd
synchronize #25917
Jah-yee:fix/22008-short-title-execSelectionInTerminal
Status Action required
Total duration –
Artifacts –
This workflow is awaiting approval from a maintainer in #25917

pr-labels.yml

on: pull_request
Classify PR
Classify PR
Fit to window
Zoom out
Zoom in