From ddb65092f23ee28dc7ee10bfcb91e7224e742e43 Mon Sep 17 00:00:00 2001 From: Dhanya Thattil Date: Fri, 28 Aug 2026 13:48:47 +0200 Subject: [PATCH] naming --- .github/workflows/pr_detector_labels.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/workflows/pr_detector_labels.yaml b/.github/workflows/pr_detector_labels.yaml index 7da9068cf..5c439d79e 100644 --- a/.github/workflows/pr_detector_labels.yaml +++ b/.github/workflows/pr_detector_labels.yaml @@ -1,5 +1,5 @@ # This reusable workflow detects detector labels for pull requests. This workflow is ignored for Infrastructure Prs. It checks whole word matching of detector names in server folders, changed code and PR title/description. If a detector is detected, the corresponding label is added to the PR. Existing labels are left untouched. Detector labels are never removed automatically. -name: PR Detector Labels +name: PR Synchronize Trigger on: pull_request: