diff --git a/.editorconfig b/.editorconfig index d8a320e495c10..6625cbf69810b 100644 --- a/.editorconfig +++ b/.editorconfig @@ -76,10 +76,12 @@ trim_trailing_whitespace = unset [pkgs/build-support/dotnetenv/Wrapper/**] end_of_line = unset +indent_style = unset insert_final_newline = unset trim_trailing_whitespace = unset [pkgs/build-support/upstream-updater/**] +indent_style = unset trim_trailing_whitespace = unset [pkgs/development/compilers/elm/registry.dat] @@ -96,6 +98,9 @@ trim_trailing_whitespace = unset [pkgs/development/node-packages/composition.nix] insert_final_newline = unset +[pkgs/development/{perl-modules,ocaml-modules,tools/ocaml}/**] +indent_style = unset + [pkgs/servers/dict/wordnet_structures.py] trim_trailing_whitespace = unset diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index d61882c50400f..be7a4ba02b61f 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -2,6 +2,8 @@ name: "Checking EditorConfig" on: pull_request: + branches-ignore: + - 'release-**' jobs: tests: @@ -23,5 +25,5 @@ jobs: - name: Checking EditorConfig if: env.GIT_DIFF run: | - ./bin/editorconfig-checker -disable-indentation \ + ./bin/editorconfig-checker -disable-indent-size \ ${{ env.GIT_DIFF }}