about summary refs log tree commit diff
path: root/.github/workflows/editorconfig.yml
blob: 7433d03eea7d60fb7909a34fc53687d0068d0a17 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
name: "Checking EditorConfig"

permissions: read-all

on:
  # avoids approving first time contributors
  pull_request_target:
    branches-ignore:
      - 'release-**'

jobs:
  tests:
    runs-on: ubuntu-latest
    if: github.repository_owner == 'NixOS'
    steps:
    - uses: actions/checkout@v2
    - uses: cachix/install-nix-action@v16
      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>'
    - 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
    - name: Checking EditorConfig
      run: |
        cat $HOME/changed_files | xargs -r 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."