diff --git a/.github/workflows/tools.yml b/.github/workflows/tools.yml
index b9d712c2a69..76ebdc664b8 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'