From 6dce0bb299ae2d78b20a7d54ddf964e7d2cea10a Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?J=C3=B6rg=20Thalheim?= <joerg@thalheim.io>
Date: Thu, 30 Jul 2020 21:38:39 +0100
Subject: [PATCH] Revert "actions/editorconfig: disable until we can combine
this with ofborg (#88608)"
This reverts commit 1ccf44204bb15d6e4fd6155a971e3a6fbf95e8ac.
---
.github/workflows/editorconfig.yml | 22 ++++++++++++++++++++++
1 file changed, 22 insertions(+)
create mode 100644 .github/workflows/editorconfig.yml
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml
new file mode 100644
index 00000000000..9e8a1bd97db
--- /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 }}