2020-08-23 09:22:58 +00:00
name : "Checking EditorConfig"
2021-04-27 23:50:54 +00:00
permissions : read-all
2020-08-23 09:22:58 +00:00
on :
2021-04-28 18:07:05 +00:00
# avoids approving first time contributors
2021-04-27 23:50:54 +00:00
pull_request_target :
2020-10-24 02:24:25 +00:00
branches-ignore :
- 'release-**'
2020-08-23 09:22:58 +00:00
jobs :
tests :
runs-on : ubuntu-latest
2020-12-27 08:30:10 +00:00
if : github.repository_owner == 'NixOS'
2020-08-23 09:22:58 +00:00
steps :
- uses : actions/checkout@v2
2021-11-22 23:21:06 +00:00
- uses : cachix/install-nix-action@v16
2021-04-28 18:07:05 +00:00
with :
# nixpkgs commit is pinned so that it doesn't break
nix_path : nixpkgs=https://github.com/NixOS/nixpkgs/archive/f93ecc4f6bc60414d8b73dbdf615ceb6a2c604df.tar.gz
- name : install editorconfig-checker
run : nix-env -iA editorconfig-checker -f '<nixpkgs>'
2021-11-27 19:35:29 +00:00
- name : Get list of changed files from PR
run : |
git fetch origin --depth 1 ${{ github.event.pull_request.head.sha }}
git checkout ${{ github.event.pull_request.head.sha }}
git fetch origin --depth 1 ${{ github.event.pull_request.base.sha }}
git checkout ${{ github.event.pull_request.base.sha }}
git fetch origin --depth 1 pull/${{ github.event.pull_request.number }}/merge
# check this out last as editorconfig should check this commit
git checkout FETCH_HEAD
# everything except --diff-filter=D (deleted)
git diff --diff-filter=ACMRTUXB --name-only ${{ github.event.pull_request.base.sha }} ${{ github.event.pull_request.head.sha }} > $HOME/changed_files
2020-08-23 09:22:58 +00:00
- name : Checking EditorConfig
run : |
2021-11-27 19:35:29 +00:00
cat $HOME/changed_files | xargs -r editorconfig-checker -disable-indent-size
2021-04-28 17:58:29 +00:00
- 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."