Fix CI for pull requests from forks

Signed-off-by: Steve Peters <[email protected]>
gazebo-tooling · Sep 29, 2023 · 0ac5b5f · 0ac5b5f
1 parent d0e2db3
commit 0ac5b5f
Showing 1 changed file with 3 additions and 2 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -15,8 +15,9 @@ jobs:
       - name: Idenfify files changed in this PR
         id: files
         run: |
-            git diff --name-only origin/${{ github.base_ref }}...origin/${{ github.head_ref }}
-            echo "changed-files=$(git diff --name-only origin/${{ github.base_ref }}...origin/${{ github.head_ref }}| tr '\n' ' ')"  >> $GITHUB_OUTPUT
+            git fetch origin ${{ github.ref }}
+            git diff --name-only origin/${{ github.base_ref }}...FETCH_HEAD
+            echo "changed-files=$(git diff --name-only origin/${{ github.base_ref }}...${{ github.ref }}| tr '\n' ' ')"  >> $GITHUB_OUTPUT
       - name: Run testing on changed config files
         id: dsl_check
         run: |