diff options
author | Domen Kožar <domen@dev.si> | 2021-04-28 19:58:29 +0200 |
---|---|---|
committer | Domen Kožar <domen@dev.si> | 2021-04-29 10:14:40 +0200 |
commit | 433df32ddb83a90f95c7b37c6fd6b68d46cb9100 (patch) | |
tree | 70c740b49c46a1de856a697466b1bfbcbe330412 /.github | |
parent | a670f92186204bd1b4df11244c7b01c90ec00f11 (diff) |
editorconfig check: instruct user what to do
Diffstat (limited to '.github')
-rw-r--r-- | .github/workflows/editorconfig.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index 2d7b9d7ce842d..a6e9eb8718bd4 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -39,3 +39,7 @@ jobs: if: env.PR_DIFF run: | echo "$PR_DIFF" | xargs editorconfig-checker -disable-indent-size + - if: ${{ failure() }} + run: | + echo "::error :: Hey! It looks like your changes don't follow our editorconfig settings. Read https://editorconfig.org/#download to configure your editor so you never see this error again." + |