Change hello #38
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
| name: "Checking EditorConfig v2" | |
| permissions: | |
| pull-requests: read | |
| contents: read | |
| on: | |
| # avoids approving first time contributors | |
| pull_request_target: | |
| branches-ignore: | |
| - 'release-**' | |
| jobs: | |
| tests: | |
| name: editorconfig-check | |
| runs-on: ubuntu-latest | |
| if: "github.repository_owner == 'NixOS' && !contains(github.event.pull_request.title, '[skip treewide]')" | |
| steps: | |
| - 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' \ | |
| > "$HOME/changed_files" | |
| - name: print list of changed files | |
| run: | | |
| cat "$HOME/changed_files" | |
| - uses: actions/checkout@11bd71901bbe5b1630ceea73d27597364c9af683 # v4.2.2 | |
| with: | |
| # pull_request_target checks out the base branch by default | |
| ref: refs/pull/${{ github.event.pull_request.number }}/merge | |
| - uses: cachix/install-nix-action@08dcb3a5e62fa31e2da3d490afc4176ef55ecd72 # v30 | |
| with: | |
| # nixpkgs commit is pinned so that it doesn't break | |
| # editorconfig-checker 2.4.0 | |
| nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/c473cc8714710179df205b153f4e9fa007107ff9.tar.gz | |
| - name: Checking EditorConfig | |
| run: | | |
| < "$HOME/changed_files" nix-shell -p editorconfig-checker --run '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." |