aboutsummaryrefslogtreecommitdiff
path: root/.github
diff options
context:
space:
mode:
authorJörg Thalheim <joerg@thalheim.io>2020-07-30 21:38:39 +0100
committerJörg Thalheim <joerg@thalheim.io>2020-07-30 21:45:29 +0100
commit6dce0bb299ae2d78b20a7d54ddf964e7d2cea10a (patch)
treecc85c4879532ec309dc418c365e5d2062baab4a5 /.github
parent7d04fdaa69c14ce51c21078af6a135df9bb11af5 (diff)
Revert "actions/editorconfig: disable until we can combine this with ofborg (#88608)"
This reverts commit 1ccf44204bb15d6e4fd6155a971e3a6fbf95e8ac.
Diffstat (limited to '.github')
-rw-r--r--.github/workflows/editorconfig.yml22
1 files changed, 22 insertions, 0 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml
new file mode 100644
index 000000000000..9e8a1bd97db9
--- /dev/null
+++ b/.github/workflows/editorconfig.yml
@@ -0,0 +1,22 @@
+name: actions
+
+on:
+ pull_request:
+ branches:
+ - master
+
+jobs:
+ editorconfig:
+ runs-on: ubuntu-latest
+ steps:
+ - uses: actions/checkout@v2
+ - uses: technote-space/get-diff-action@v1.2.8
+ - name: editorconfig check
+ env:
+ VERSION: "2.0.4"
+ OS: "linux"
+ ARCH: "amd64"
+ run: |
+ curl -sSf -O -L -C - https://github.com/editorconfig-checker/editorconfig-checker/releases/download/$VERSION/ec-$OS-$ARCH.tar.gz && \
+ tar xzf ec-$OS-$ARCH.tar.gz && \
+ ./bin/ec-$OS-$ARCH -disable-indentation ${{ env.GIT_DIFF }}