ci: fix diff check

This commit is contained in:
2 * r + 2 * t 2025-08-13 15:48:38 +10:00
parent 7d096ee786
commit d84a52f063

View file

@ -74,7 +74,7 @@ jobs:
- name: Check for changes
id: check
run: echo modified=$(git diff --exit-code flake.lock && echo 'false' || echo 'true') >> $GITHUB_OUTPUT
run: echo modified=$(git diff --exit-code flake.lock &>/dev/null && echo 'false' || echo 'true') >> $GITHUB_OUTPUT
- name: Commit and push changes
if: steps.check.outputs.modified == 'true'