[NOID] Solves populated git-diff index bug when no changes have happe…

…ned (#553)
neo4j · Dec 7, 2023 · 353d39c · 353d39c
1 parent 0479857
commit 353d39c
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/actions/gradle-command-on-pr/action.yaml b/.github/actions/gradle-command-on-pr/action.yaml
@@ -38,7 +38,9 @@ runs:
     - name: Check for modified files
       shell: bash
       id: git-check
-      run: echo modified=$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi) >> $GITHUB_OUTPUT
+      run: |
+        git update-index --refresh
+        echo modified=$(if git diff-index --quiet HEAD --; then echo "false"; else echo "true"; fi) >> $GITHUB_OUTPUT
 
     - name: Commit to the PR branch
       shell: bash