diff options
author | Jörg Thalheim <Mic92@users.noreply.github.com> | 2020-05-22 14:15:13 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-05-22 13:15:13 +0000 |
commit | 1ccf44204bb15d6e4fd6155a971e3a6fbf95e8ac (patch) | |
tree | c89bdb737a9960a88103858afa0d7cc303aa8ecb | |
parent | 9404c8ee74ebaf36fbd5a1dbb2fe1e7950424586 (diff) |
actions/editorconfig: disable until we can combine this with ofborg (#88608)
We cannot run this check now, as it marks CI as green even though ofborg has not
evaluated it yet. In future we might be able to mark ofborg as a required test:
https://github.com/NixOS/nixpkgs/pull/87853#issuecomment-632676824
-rw-r--r-- | .github/workflows/editorconfig.yml | 22 |
1 files changed, 0 insertions, 22 deletions
diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml deleted file mode 100644 index 9e8a1bd97db9..000000000000 --- a/.github/workflows/editorconfig.yml +++ /dev/null @@ -1,22 +0,0 @@ -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 }} |