.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
This commit is contained in:
parent
10d24382cd
commit
5ba2e4e9c6
1 changed files with 13 additions and 9 deletions
22
.github/workflows/editorconfig.yml
vendored
22
.github/workflows/editorconfig.yml
vendored
|
@ -1,7 +1,9 @@
|
||||||
name: "Checking EditorConfig"
|
name: "Checking EditorConfig"
|
||||||
|
|
||||||
|
permissions: read-all
|
||||||
|
|
||||||
on:
|
on:
|
||||||
pull_request:
|
pull_request_target:
|
||||||
branches-ignore:
|
branches-ignore:
|
||||||
- 'release-**'
|
- 'release-**'
|
||||||
|
|
||||||
|
@ -21,17 +23,19 @@ jobs:
|
||||||
>> $GITHUB_ENV
|
>> $GITHUB_ENV
|
||||||
echo 'EOF' >> $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
|
if: env.PR_DIFF
|
||||||
- name: Fetch editorconfig-checker
|
- uses: cachix/install-nix-action@v13
|
||||||
if: env.PR_DIFF
|
if: env.PR_DIFF
|
||||||
env:
|
- name: install editorconfig-checker from unstable channel
|
||||||
ECC_VERSION: "2.3.5"
|
|
||||||
ECC_URL: "https://github.com/editorconfig-checker/editorconfig-checker/releases/download"
|
|
||||||
run: |
|
run: |
|
||||||
curl -sSf -O -L -C - "$ECC_URL/$ECC_VERSION/ec-linux-amd64.tar.gz" && \
|
nix-channel --add https://nixos.org/channels/nixpkgs-unstable
|
||||||
tar xzf ec-linux-amd64.tar.gz && \
|
nix-channel --update
|
||||||
mv ./bin/ec-linux-amd64 ./bin/editorconfig-checker
|
nix-env -iA nixpkgs.editorconfig-checker
|
||||||
|
if: env.PR_DIFF
|
||||||
- name: Checking EditorConfig
|
- name: Checking EditorConfig
|
||||||
if: env.PR_DIFF
|
if: env.PR_DIFF
|
||||||
run: |
|
run: |
|
||||||
echo "$PR_DIFF" | xargs ./bin/editorconfig-checker -disable-indent-size
|
echo "$PR_DIFF" | xargs editorconfig-checker -disable-indent-size
|
||||||
|
|
Loading…
Reference in a new issue