]> git.djapps.eu Git - pkg/ggml/sources/llama.cpp/commitdiff
ci: drop v5 `all:` composition from labeler.yml (#21627)
authorMarxist-Leninist <redacted>
Thu, 9 Apr 2026 06:20:19 +0000 (07:20 +0100)
committerGitHub <redacted>
Thu, 9 Apr 2026 06:20:19 +0000 (08:20 +0200)
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>
.github/labeler.yml

index f5468cf11e4b99215886c997848a8b66d22597aa..70384994dcb47c70f6f2d7bd53871c77edb84861 100644 (file)
@@ -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/**