:wrench: push bot only on source change

diff --git a/.github/workflows/bot.yml b/.github/workflows/bot.yml
index dcafa513d3a5a6651722b01bf828cfadb1cc4885..75eeb544831feb6c6829f51c6c5d8d1c114152b5 100644 (file)
--- a/.github/workflows/bot.yml
+++ b/.github/workflows/bot.yml
@@ -17,7 +17,7 @@ jobs:
       run: |
         git clone https://github.com/fennecdjay/gwion-cinch-bot
         cd gwion-cinch-bot
-        [ -z "$(git diff "HEAD^" src)" ] && exit 0
+        [ -z "$(git diff "HEAD^" src ast util)" ] && exit 0
         git config --local user.email "action@github.com"
         git config --local user.name "GitHub Action"
         git commit --allow-empty -m "update gwion"