PR Automation

Forward-port: Remove PathSelector include-based directory pre-filtering optimization #1884

Sign in to view logs

Triggered via pull request July 30, 2026 05:51

gnodet

closed #12624

Status Failure

Total duration 17s

Artifacts –

pr-automation.yml

on: pull_request_target

PR Automation / dump-github-context

PR Automation / milestone

PR Automation / milestone-rm

PR Automation / labels

PR Automation / assignees

Annotations

1 error

PR Automation / labels

Unhandled error: Error: PRs must be labeled