Merge pull request #87853 from zowoq/actions

This commit is contained in:
Jörg Thalheim 2020-05-20 11:33:31 +01:00 committed by GitHub
commit acfcd44a84
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

20
.github/workflows/editorconfig.yml vendored Normal file
View file

@ -0,0 +1,20 @@
name: editorconfig
on:
pull_request:
branches:
- master
jobs:
editorconfig:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
- uses: technote-space/get-diff-action@v1.2.8
- name: fetch image
run: docker pull mstruebing/editorconfig-checker
- name: editorconfig check
run: |
docker run --volume="$PWD":/check mstruebing/editorconfig-checker ec \
-disable-indentation \
${{ env.GIT_DIFF }}