diff options
| author | zowoq <59103226+zowoq@users.noreply.github.com> | 2021-04-28 09:50:54 +1000 |
|---|---|---|
| committer | zowoq <59103226+zowoq@users.noreply.github.com> | 2021-04-28 23:40:50 +1000 |
| commit | 5ba2e4e9c65d32ea3d7def475655227a3835d2dc (patch) | |
| tree | ec261efe59f03c30ba5e7ec2a16d1e5ad9dac5b4 /.github/workflows | |
| parent | 10d24382cd0ba120cd6692d0ad3a6dbc290bdacd (diff) | |
.github/workflows/editorconfig.yml: switch to pull_request_target
- use pull_request_target to avoid having to manually approve the action
- use nixpkgs editorconfig-checker rather than external binary
Diffstat (limited to '.github/workflows')
| -rw-r--r-- | .github/workflows/editorconfig.yml | 22 |
1 files changed, 13 insertions, 9 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index c20ed3ab768d..2d7b9d7ce842 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -1,7 +1,9 @@ name: "Checking EditorConfig" +permissions: read-all + on: - pull_request: + pull_request_target: branches-ignore: - 'release-**' @@ -21,17 +23,19 @@ jobs: >> $GITHUB_ENV echo 'EOF' >> $GITHUB_ENV - 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 - - name: Fetch editorconfig-checker + - uses: cachix/install-nix-action@v13 if: env.PR_DIFF - env: - ECC_VERSION: "2.3.5" - ECC_URL: "https://github.com/editorconfig-checker/editorconfig-checker/releases/download" + - name: install editorconfig-checker from unstable channel run: | - curl -sSf -O -L -C - "$ECC_URL/$ECC_VERSION/ec-linux-amd64.tar.gz" && \ - tar xzf ec-linux-amd64.tar.gz && \ - mv ./bin/ec-linux-amd64 ./bin/editorconfig-checker + nix-channel --add https://nixos.org/channels/nixpkgs-unstable + nix-channel --update + nix-env -iA nixpkgs.editorconfig-checker + if: env.PR_DIFF - name: Checking EditorConfig if: env.PR_DIFF run: | - echo "$PR_DIFF" | xargs ./bin/editorconfig-checker -disable-indent-size + echo "$PR_DIFF" | xargs editorconfig-checker -disable-indent-size |