philipp
/
nixpkgs
1
0
Fork 0
Code Issues Pull Requests Projects Releases Activity

editorconfig check: instruct user what to do

master
Domen Kožar 2021-04-28 19:58:29 +02:00
parent a670f92186
commit 433df32ddb
No known key found for this signature in database
GPG Key ID: C2FFBCAFD2C24246
1 changed files with 4 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
.github/workflows/editorconfig.yml vendored
View File

@ -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."