diff options
| author | Ben Rog-Wilhelm <zorba-github@pavlovian.net> | 2023-07-01 08:32:30 -0500 |
|---|---|---|
| committer | Ben Rog-Wilhelm <zorba-github@pavlovian.net> | 2023-07-01 08:41:36 -0500 |
| commit | 7ea171adca8d28d10aae68cfe8f36094683bc491 (patch) | |
| tree | 24fb62133e1d4d92cc790c7bc006e6dce2bcd41a /.github/workflows | |
| parent | 90f3992036b2f2fc1b4d08d1cc854d9cd62f6930 (diff) | |
| download | redot-engine-7ea171adca8d28d10aae68cfe8f36094683bc491.tar.gz | |
Add static check for overzealous .gitignores.
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/static_checks.yml | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/.github/workflows/static_checks.yml b/.github/workflows/static_checks.yml index 6133780688..af308e885a 100644 --- a/.github/workflows/static_checks.yml +++ b/.github/workflows/static_checks.yml @@ -41,6 +41,11 @@ jobs: 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) + run: | + bash ./misc/scripts/gitignore_check.sh + - name: File formatting checks (file_format.sh) run: | bash ./misc/scripts/file_format.sh changed.txt |