aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--.github/workflows/tools.yml2
1 files changed, 2 insertions, 0 deletions
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'