diff options
| author | A Thousand Ships <96648715+AThousandShips@users.noreply.github.com> | 2024-03-27 15:37:28 +0100 |
|---|---|---|
| committer | A Thousand Ships <96648715+AThousandShips@users.noreply.github.com> | 2024-03-27 17:01:39 +0100 |
| commit | 62531ea2d1f02df1413aff621f4a2a101a0905ec (patch) | |
| tree | f5e8447baa0cda4fc75a151d8a599d80fe3c4c77 | |
| parent | 7d151c83811f8ac8873439826c16d88c83aba12f (diff) | |
| download | redot-engine-62531ea2d1f02df1413aff621f4a2a101a0905ec.tar.gz | |
[CI] Work around diff size limit for static checks
| -rw-r--r-- | .github/workflows/static_checks.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/static_checks.yml b/.github/workflows/static_checks.yml index 0d5c1906b5..74935bb618 100644 --- a/.github/workflows/static_checks.yml +++ b/.github/workflows/static_checks.yml @@ -32,7 +32,7 @@ jobs: GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} run: | if [ "${{ github.event_name }}" == "pull_request" ]; then - files=$(gh pr diff ${{ github.event.pull_request.number }} --name-only) + files=$(git diff-tree --no-commit-id --name-only -r HEAD~${{ github.event.pull_request.commits }}..HEAD 2> /dev/null || true) elif [ "${{ github.event_name }}" == "push" -a "${{ github.event.forced }}" == "false" -a "${{ github.event.created }}" == "false" ]; then files=$(git diff-tree --no-commit-id --name-only -r ${{ github.event.before }}..${{ github.event.after }} 2> /dev/null || true) fi |