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)
commit11c020ef4e787d0a724e5ae32bfd7a8308a3c45b
treef88d16f788ad7950f9f3b02cba33da30e73ad117
parent025418af13a72ec354756b0a8631133c37b00533
CI: tools: add Dockerfile change to push events

Refresh tools containers also on change of the Dockerfile change.

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