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