Unverified Commit 323b64d7 authored by Jörg Thalheim's avatar Jörg Thalheim Committed by GitHub
Browse files

add actionlint script and fix linting errors (#358087)

parents 2b1d1071 eeb87082

.github/workflows/check-nixf-tidy.yml

+1 −1
Original line number Diff line number Diff line
@@ -107,7 +107,7 @@ jobs: 
                  echo "$errors"

                else

                  # just print in plain text

                  echo "$errors" | sed 's/^:://'

                  echo "${errors/::/}"

                  echo # add one empty line

                fi

                failedFiles+=("$dest")

.github/workflows/editorconfig-v2.yml

+1 −1
Original line number Diff line number Diff line
@@ -38,7 +38,7 @@ jobs: 
        nix_path: nixpkgs=https://github.com/NixOS/nixpkgs/archive/c473cc8714710179df205b153f4e9fa007107ff9.tar.gz

    - name: Checking EditorConfig

      run: |

        cat "$HOME/changed_files" | nix-shell -p editorconfig-checker --run 'xargs -r editorconfig-checker -disable-indent-size'

        < "$HOME/changed_files" nix-shell -p editorconfig-checker --run 'xargs -r editorconfig-checker -disable-indent-size'

    - if: ${{ failure() }}

      run: |

        echo "::error :: Hey! It looks like your changes don't follow our editorconfig settings. Read https://editorconfig.org/#download to configure your editor so you never see this error again."

.github/workflows/lint-actions.sh

0 → 100755
+7 −0
Original line number Diff line number Diff line 
#!/usr/bin/env nix-shell

#!nix-shell -i bash -p bash actionlint shellcheck -I nixpkgs=../..

set -euo pipefail



SCRIPT_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )"

cd "$SCRIPT_DIR/../.."

actionlint