chore: Update labeler to have separate labels for `server/webui` and `server` changes...

diff --git a/.github/labeler.yml b/.github/labeler.yml
index ef89541b1df787cbbb4e2977822e6844c1558209..f5468cf11e4b99215886c997848a8b66d22597aa 100644 (file)
--- 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: