diff options
Diffstat (limited to '.github/workflows/check_encoding.yml')
| -rw-r--r-- | .github/workflows/check_encoding.yml | 11 |
1 files changed, 0 insertions, 11 deletions
diff --git a/.github/workflows/check_encoding.yml b/.github/workflows/check_encoding.yml deleted file mode 100644 index 7b0d60bf67..0000000000 --- a/.github/workflows/check_encoding.yml +++ /dev/null @@ -1,11 +0,0 @@ -name: Check C-source encoding -on: [push, pull_request] - -jobs: - check_encoding: - runs-on: ubuntu-latest - steps: - - uses: actions/checkout@v2 - - name: Check if C-sources are US-ASCII - run: | - ! grep -r -n '[^ -~]' *.[chy] include internal win32/*.[ch] |