diff options
| author | zowoq <59103226+zowoq@users.noreply.github.com> | 2020-10-24 12:23:38 +1000 |
|---|---|---|
| committer | zowoq <59103226+zowoq@users.noreply.github.com> | 2020-11-10 20:47:11 +1000 |
| commit | 652195179a09d7ab5518680386f62bcaa10665dd (patch) | |
| tree | 4bc714acfd82781a9a8283baa4428148454d14d6 /.github | |
| parent | 05d27ba19b6b91205ff58c09950416d33b2e1aab (diff) | |
.github/workflows/editorconfig.yml: check indent_style
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/editorconfig.yml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index d61882c50400..962f3ced398b 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -23,5 +23,5 @@ jobs: - name: Checking EditorConfig if: env.GIT_DIFF run: | - ./bin/editorconfig-checker -disable-indentation \ + ./bin/editorconfig-checker -disable-indent-size \ ${{ env.GIT_DIFF }} |