[openwrt/openwrt] ci: tools: run the job on changes in include directory as well

[LEDE Commits]

ynezz pushed a commit to openwrt/openwrt.git, branch master:
https://git.openwrt.org/71ca2a31546d5f14faac03838bf700cf22f85215

commit 71ca2a31546d5f14faac03838bf700cf22f85215
Author: Petr Štetiar <ynezz at true.cz>
AuthorDate: Tue May 23 14:27:05 2023 +0200

    ci: tools: run the job on changes in include directory as well
    
    In order to prevent regressions like with #12617.
    
    Signed-off-by: Petr Štetiar <ynezz at true.cz>
---
 .github/workflows/tools.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
index b9d712c2a6..76ebdc664b 100644
--- a/.github/workflows/tools.yml
+++ b/.github/workflows/tools.yml
@@ -3,11 +3,13 @@ name: Build host tools
 on:
   pull_request:
     paths:
+      - 'include/**'
       - 'tools/**'
       - '.github/workflows/build-tools.yml'
       - '.github/workflows/tools.yml'
   push:
     paths:
+      - 'include/**'
       - 'tools/**'
       - '.github/workflows/build-tools.yml'
       - '.github/workflows/tools.yml'