diff options
| author | Spartan322 <Megacake1234@gmail.com> | 2024-10-11 03:13:11 -0400 |
|---|---|---|
| committer | Spartan322 <Megacake1234@gmail.com> | 2024-10-11 03:13:11 -0400 |
| commit | 652fe33f6904a481dcc3761ca14f70aec03d240d (patch) | |
| tree | 2cac1d4997274bd4b0033a994694bdc350124d8f /.github | |
| parent | 20735d449ab3487804ff827cf5cd1de102109fe2 (diff) | |
| download | redot-engine-652fe33f6904a481dcc3761ca14f70aec03d240d.tar.gz | |
Renable CHANGED_FILES for static_checks.yml
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/static_checks.yml | 26 |
1 files changed, 13 insertions, 13 deletions
diff --git a/.github/workflows/static_checks.yml b/.github/workflows/static_checks.yml index 84cc175ff2..ff102a06cc 100644 --- a/.github/workflows/static_checks.yml +++ b/.github/workflows/static_checks.yml @@ -26,19 +26,19 @@ jobs: pip3 install pytest==7.1.2 git config diff.wsErrorHighlight all - # - name: Get changed files - # env: - # GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} - # run: | - # if [ "${{ github.event_name }}" == "pull_request" ]; then - # files=$(git diff-tree --no-commit-id --name-only -r HEAD^1..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 - # echo "$files" >> changed.txt - # cat changed.txt - # files=$(echo "$files" | grep -v 'thirdparty' | xargs -I {} sh -c 'echo "\"./{}\""' | tr '\n' ' ') - # echo "CHANGED_FILES=$files" >> $GITHUB_ENV + - name: Get changed files + env: + GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }} + run: | + if [ "${{ github.event_name }}" == "pull_request" ]; then + files=$(git diff-tree --no-commit-id --name-only -r HEAD^1..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 + echo "$files" >> changed.txt + cat changed.txt + files=$(echo "$files" | grep -v 'thirdparty' | xargs -I {} sh -c 'echo "\"./{}\""' | tr '\n' ' ') + echo "CHANGED_FILES=$files" >> $GITHUB_ENV # This needs to happen before Python and npm execution; it must happen before any extra files are written. - name: .gitignore checks (gitignore_check.sh) |