From: Marxist-Leninist <redacted>
Date: Thu, 9 Apr 2026 06:20:19 +0000 (+0100)
Subject: ci: drop v5 `all:` composition from labeler.yml (#21627)
X-Git-Tag: upstream/0.0.10438~1715
X-Git-Url: https://git.djapps.eu/?a=commitdiff_plain;h=8a65a7a8ee70061ba180b6634157a8323f293087;p=pkg%2Fggml%2Fsources%2Fllama.cpp

ci: drop v5 `all:` composition from labeler.yml (#21627)

actions/labeler@v6 removed the `all:` / `any:` composition keys.
The `server/webui` and `server` entries used `all:` to combine
`any-glob-to-any-file` with negated `all-globs-to-all-files`,
which now errors on every PR with:

    Unknown config options were under "changed-files": all

Flatten both entries to a single `any-glob-to-any-file`. PRs
touching both webui and other server files will now receive both
labels instead of only `server/webui`.

Co-authored-by: Marxist-Leninist <redacted>
---

diff --git a/.github/labeler.yml b/.github/labeler.yml
index f5468cf11..70384994d 100644
--- a/.github/labeler.yml
+++ b/.github/labeler.yml
@@ -75,21 +75,13 @@ android:
             - 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/**'
+        - any-glob-to-any-file:
+            - tools/server/webui/**
+            - tools/server/public/**
 server:
     - changed-files:
-        - all:
-            - any-glob-to-any-file:
-                - tools/server/**
-            - all-globs-to-all-files:
-                - '!tools/server/webui/**'
-                - '!tools/server/public/**'
+        - any-glob-to-any-file:
+            - tools/server/**