2020-08-23 10:22:58 +01:00
name : "Checking EditorConfig"
2021-04-28 00:50:54 +01:00
permissions : read-all
2020-08-23 10:22:58 +01:00
on :
2021-04-28 19:07:05 +01:00
# avoids approving first time contributors
2021-04-28 00:50:54 +01:00
pull_request_target :
2020-10-24 03:24:25 +01:00
branches-ignore :
- 'release-**'
2020-08-23 10:22:58 +01:00
jobs :
tests :
runs-on : ubuntu-latest
2023-01-20 23:19:18 +00:00
if : "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip treewide]')"
2020-08-23 10:22:58 +01:00
steps :
2021-11-30 00:36:50 +00:00
- name : Get list of changed files from PR
env :
GITHUB_TOKEN : ${{ secrets.GITHUB_TOKEN }}
run : |
gh api \
repos/NixOS/nixpkgs/pulls/${{github.event.number}}/files --paginate \
| jq '.[] | select(.status != "removed") | .filename' \
2021-12-01 05:27:57 +00:00
> "$HOME/changed_files"
- name : print list of changed files
run : |
cat "$HOME/changed_files"
2023-09-11 12:53:12 +01:00
- uses : actions/checkout@v4
2021-11-30 00:36:50 +00:00
with :
# pull_request_target checks out the base branch by default
ref : refs/pull/${{ github.event.pull_request.number }}/merge
2023-09-05 15:26:48 +01:00
- uses : cachix/install-nix-action@v23
2021-04-28 19:07:05 +01:00
with :
# nixpkgs commit is pinned so that it doesn't break
2021-12-14 03:19:39 +00:00
# editorconfig-checker 2.4.0
nix_path : nixpkgs=https://github.com/NixOS/nixpkgs/archive/c473cc8714710179df205b153f4e9fa007107ff9.tar.gz
2020-08-23 10:22:58 +01:00
- name : Checking EditorConfig
run : |
2023-02-28 19:17:29 +00:00
cat "$HOME/changed_files" | nix-shell -p editorconfig-checker --run 'xargs -r editorconfig-checker -disable-indent-size'
2021-04-28 18:58:29 +01: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."