From: Aleksander Grygier <redacted>
Date: Wed, 8 Apr 2026 08:35:31 +0000 (+0200)
Subject: chore: Update labeler to have separate labels for `server/webui` and `server` changes... 
X-Git-Tag: upstream/0.0.10438~1731
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=3bd9aa1f9250cd15f5371f3622d73d954b68a747;p=pkg%2Fggml%2Fsources%2Fllama.cpp

chore: Update labeler to have separate labels for `server/webui` and `server` changes (#21567)
---

diff --git a/.github/labeler.yml b/.github/labeler.yml
index ef89541b1..f5468cf11 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -73,10 +73,26 @@ android:
     - changed-files:
         - any-glob-to-any-file:
             - examples/llama.android/**
+server/webui:
+    - changed-files:
+        - all:
+            - any-glob-to-any-file:
+                - tools/server/webui/**
+                - tools/server/public/**
+            - all-globs-to-all-files:
+                - '!tools/server/webui/**'
+                - '!tools/server/public/**'
 server:
     - changed-files:
-        - any-glob-to-any-file:
-            - tools/server/**
+        - all:
+            - any-glob-to-any-file:
+                - tools/server/**
+            - all-globs-to-all-files:
+                - '!tools/server/webui/**'
+                - '!tools/server/public/**'
+
+
+
 ggml:
     - changed-files:
         - any-glob-to-any-file: