ci: tools: run the job on changes in include directory as well
authorPetr Štetiar <ynezz@true.cz>
Tue, 23 May 2023 12:27:05 +0000 (14:27 +0200)
committerPetr Štetiar <ynezz@true.cz>
Tue, 23 May 2023 19:41:44 +0000 (21:41 +0200)
In order to prevent regressions like with #12617.

Signed-off-by: Petr Štetiar <ynezz@true.cz>
(cherry picked from commit 71ca2a31546d5f14faac03838bf700cf22f85215)

.github/workflows/tools.yml

index b9d712c2a6966950d7fa8e75d75e75824c8516cb..76ebdc664b89ae5409e576d44600a6c5c9e6c6e4 100644 (file)
@@ -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'