ci: move jsonlint to npm run script (#12721)

easier local execution than looking through GH actions
This commit is contained in:
Christoph Settgast
2022-12-22 21:31:07 +01:00
committed by GitHub
parent ad0ad31df9
commit 965e7dc41d
2 changed files with 2 additions and 2 deletions

View File

@@ -20,7 +20,6 @@ jobs:
- name: Check if the git repository is clean
run: $(exit $(git status --porcelain --untracked-files=no | head -255 | wc -l)) || (echo "Dirty git tree"; git diff; exit 1)
- run: npm run lint:ci
- run: for file in lang/*.json; do npx --yes jsonlint -q $file || exit 1; done
linux-build:
name: Build Frontend (Linux)
runs-on: ubuntu-latest