Explicitly specify the PR ref

pull_request_target only gets the base ref not the branch so the diff between base ref and head is always empty.
llvm-beanz · Sep 20, 2023 · 14c5dc3 · 14c5dc3
1 parent 314d2ff
commit 14c5dc3
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/clang-format-checker.yml b/.github/workflows/clang-format-checker.yml
@@ -25,7 +25,8 @@ jobs:
           GH_TOKEN: ${{ github.token }}
         run: |
             echo Comparing $GITHUB_BASE_REF vs HEAD
-            git diff -U0 --no-color origin/$GITHUB_BASE_REF..HEAD | clang-format-diff -p1 | tee format.diff
+            git fetch origin refs/pull/$PR_NUMBER/head
+            git diff -U0 --no-color origin/$GITHUB_BASE_REF..refs/pull/$PR_NUMBER/head | clang-format-diff -p1 | tee format.diff
             if [ -s "format.diff" ]
             then
               echo PR contains clang-format violations. First 50 lines of the diff: >> message.txt