nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-11-22 23:13:19 +00:00
Code Issues Packages Projects Releases Wiki Activity

.github/workflows/editorconfig.yml: Don't use GitHub API for PR diff.

Browse Source 
This caused ratelimits for large PRs (reformatting PRs)
This commit is contained in:
Moritz Hedtke 2021-11-27 20:35:29 +01:00 committed by zowoq
parent d8d3cb95e9
commit 4db84ed126
1 changed files with 16 additions and 19 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

35
.github/workflows/editorconfig.yml vendored
View File

@ -13,33 +13,30 @@ jobs:
runs-on: ubuntu-latest runs-on: ubuntu-latest
if: github.repository_owner == 'NixOS' if: github.repository_owner == 'NixOS'
steps: steps:
- name: Get list of changed files from PR
env:
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
run: |
echo 'PR_DIFF<<EOF' >> $GITHUB_ENV
gh api \
repos/NixOS/nixpkgs/pulls/${{github.event.number}}/files --paginate \
| jq '.[] | select(.status != "removed") | .filename' \
>> $GITHUB_ENV
echo 'EOF' >> $GITHUB_ENV
- uses: actions/checkout@v2 - uses: actions/checkout@v2
with:
# pull_request_target checks out the base branch by default
ref: refs/pull/${{ github.event.pull_request.number }}/merge
if: env.PR_DIFF
- uses: cachix/install-nix-action@v16 - uses: cachix/install-nix-action@v16
if: env.PR_DIFF
with: with:
# nixpkgs commit is pinned so that it doesn't break # nixpkgs commit is pinned so that it doesn't break
nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/f93ecc4f6bc60414d8b73dbdf615ceb6a2c604df.tar.gz nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/f93ecc4f6bc60414d8b73dbdf615ceb6a2c604df.tar.gz
- name: install editorconfig-checker - name: install editorconfig-checker
run: nix-env -iA editorconfig-checker -f '<nixpkgs>' run: nix-env -iA editorconfig-checker -f '<nixpkgs>'
if: env.PR_DIFF - name: Get list of changed files from PR
- name: Checking EditorConfig
if: env.PR_DIFF
run: | run: |
echo "$PR_DIFF" | xargs editorconfig-checker -disable-indent-size 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() }} - if: ${{ failure() }}
run: | 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." 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."