From 3bd9aa1f9250cd15f5371f3622d73d954b68a747 Mon Sep 17 00:00:00 2001 From: Aleksander Grygier Date: Wed, 8 Apr 2026 10:35:31 +0200 Subject: [PATCH] chore: Update labeler to have separate labels for `server/webui` and `server` changes (#21567) --- .github/labeler.yml | 20 ++++++++++++++++++-- 1 file changed, 18 insertions(+), 2 deletions(-) diff --git a/.github/labeler.yml b/.github/labeler.yml index ef89541b1d..f5468cf11e 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: