diff options
| author | Joel Challis <git@zvecr.com> | 2023-02-28 14:18:43 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-28 14:18:43 +0000 |
| commit | 05631b276d557824518cdb0c7d5d78c8f118891c (patch) | |
| tree | a50d9b4485f5a7d28cc231f2378f771715883edd | |
| parent | bacec14073b2e897d5a52caf12de5a6a1f7b4078 (diff) | |
Flag "builddefs" as core changes (#19950)
| -rw-r--r-- | .github/labeler.yml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.github/labeler.yml b/.github/labeler.yml index 41b2475f67..07a6c451cf 100644 --- a/.github/labeler.yml +++ b/.github/labeler.yml @@ -5,6 +5,7 @@ core: - tests/**/* - util/**/* - platforms/**/* + - builddefs/**/* - Makefile - '*.mk' dependencies: |