This commit is contained in:
2 * r + 2 * t
2025-08-12 20:31:27 +10:00
parent ff38a8c5cf
commit caf26e7c5b
2 changed files with 2 additions and 2 deletions
+1 -1
View File
@@ -100,7 +100,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'