CI: tools: add Dockerfile change to push events
authorChristian Marangi <ansuelsmth@gmail.com>
Thu, 10 Nov 2022 19:06:24 +0000 (20:06 +0100)
committerChristian Marangi <ansuelsmth@gmail.com>
Fri, 11 Nov 2022 16:50:51 +0000 (17:50 +0100)
Refresh tools containers also on change of the Dockerfile change.

Signed-off-by: Christian Marangi <ansuelsmth@gmail.com>
.github/workflows/tools.yml

index f1b565f72da6430b92036757c746cbb7f7f1af4b..5f6ded95c9639342892a966be34d4d65af2b1e1c 100644 (file)
@@ -9,6 +9,7 @@ on:
     paths:
       - 'tools/**'
       - '.github/workflows/tools.yml'
+      - '.github/workflows/Dockerfile.tools'
 
 permissions:
   contents: read