PR labels

Remove unused shell integration polling variable #544

Sign in to view logs

Triggered via pull request February 3, 2026 20:02

anthonykim1

labeled #1167

anthonykim1/onDidChangeShellIntegration

Status Success

Total duration 36s

Artifacts –

pr-labels.yml

on: pull_request

Ensure Required Labels