From 6d430bd7122dcb81c8aae5a16cead2e3c496f125 Mon Sep 17 00:00:00 2001 From: NotAShelf Date: Wed, 11 Oct 2023 21:26:45 +0300 Subject: [PATCH] CI: use bash as the shell in editorconfig workflow --- .github/workflows/editorconfig.yml | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/.github/workflows/editorconfig.yml b/.github/workflows/editorconfig.yml index 3a67a0b0a..5b05f8b40 100644 --- a/.github/workflows/editorconfig.yml +++ b/.github/workflows/editorconfig.yml @@ -40,7 +40,8 @@ jobs: cat "$HOME/changed_files" | nix-shell -p editorconfig-checker --run 'xargs -r editorconfig-checker -disable-indent-size' - if: ${{ failure() }} + shell: bash run: | - echo "::error:: Current formatting does not fit convention provided by .editorconfig located in the project root." && - echo "Please make sure your editor properly integrates editorconfig. See https://editorconfig.org/#download for more." && + echo "::error:: Current formatting does not fit convention provided by .editorconfig located in the project root." + echo "Please make sure your editor properly integrates editorconfig. See https://editorconfig.org/#download for more." exit 1