PR labels

Remove unused shell integration polling variable #545

Sign in to view logs

Triggered via pull request February 3, 2026 20:02

anthonykim1

labeled #1167

anthonykim1/onDidChangeShellIntegration

Status Success

Total duration 35s

Artifacts –

pr-labels.yml

on: pull_request

Ensure Required Labels