diff options
| author | Spartan322 <Megacake1234@gmail.com> | 2024-10-11 02:17:43 -0400 |
|---|---|---|
| committer | Spartan322 <Megacake1234@gmail.com> | 2024-10-11 02:35:23 -0400 |
| commit | 20735d449ab3487804ff827cf5cd1de102109fe2 (patch) | |
| tree | 2a5b7f50d703ce498bf1738ef323df30ddcd1fe7 /.github | |
| parent | 0f68def3eb5226f5d9a398d133489d111fcfd75c (diff) | |
| download | redot-engine-20735d449ab3487804ff827cf5cd1de102109fe2.tar.gz | |
Temporarily disable 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 ff102a06cc..84cc175ff2 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) |