build: skip labeler for auto PRs and only assign when all files match

Author: Planeshifter

.github/labeler.yml

@@ -18,8 +18,8 @@
 
 BLAS:
 - changed-files:
-  - any-glob-to-any-file: '**/blas/**/*'
+  - any-glob-to-all-files: '**/blas/**/*'
 
 Math:
 - changed-files:
-  - any-glob-to-any-file: '**/math/**/*'
+  - any-glob-to-all-files: '**/math/**/*'

.github/workflows/labeler.yml

@@ -32,6 +32,9 @@ jobs:
     # Define job name:
     name: 'Labeler'
 
+    # Only run this job if the pull request did not have label `automated-pr`:
+    if: contains(github.event.pull_request.labels.*.name, 'automated-pr') == false
+
     # Define job permissions:
     permissions:
       contents: read