scripts: revised linting script (#2737)

The new version uses our `log.sh` helper to simplify logging
significantly. Moreover, the script was adjusted to the current style
and the GitHub workflow was streamlined. The workflow is ot providing
the version anymore (which was useless anyway), and has been compacted.
This commit is contained in:
Georg Lauterbach 2022-08-22 16:22:46 +02:00 committed by GitHub
parent 26d241381f
commit 8a4329ae9f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 37 additions and 95 deletions

View file

@ -1,11 +1,9 @@
name: "Lint"
name: Lint
on:
pull_request:
branches: [ "*" ]
push:
branches:
- master
branches: [ master ]
permissions:
contents: read
@ -16,23 +14,12 @@ jobs:
steps:
- name: Checkout
uses: actions/checkout@v3
with:
submodules: recursive
- name: Hadolint
run: |
make hadolint
env:
HADOLINT_VERSION: 2.4.1
run: make hadolint
- name: ShellCheck
run: |
make shellcheck
env:
SHELLCHECK_VERSION: 0.8.0
run: make shellcheck
- name: ECLint
run: |
make eclint
env:
ECLINT_VERSION: 2.3.5
run: make eclint