ci: drop super-linter's shellcheck

It's been a while since we introduced Differential ShellCheck and it
proved to be quite useful (and in some ways even better than the shellcheck
run by super-linter). So, to have only one linter scream at us for not
knowing how to write bash properly, let's drop the super-linter's one in
favor of Differential ShellCheck.

Follow-up for https://github.com/systemd/systemd/pull/24328#pullrequestreview-1074127504
This commit is contained in:
Frantisek Sumsal 2023-07-17 17:54:59 +02:00 committed by Luca Boccassi
parent ed5ce9ad1d
commit c4b167f857

View file

@ -32,13 +32,5 @@ jobs:
uses: github/super-linter/slim@45fc0d88288beee4701c62761281edfee85655d7
env:
DEFAULT_BRANCH: main
MULTI_STATUS: false
# Excludes:
# - man/.* - all snippets in man pages (false positives due to
# missing shebangs)
# - .*\.(in|SKELETON) - all template/skeleton files
# except kernel-install
FILTER_REGEX_EXCLUDE: .*/(man/.*|([^k]|k(k|ek)*([^ek]|e[^kr]))*(k(k|ek)*e?)?\.(in|SKELETON))$
VALIDATE_ALL_CODEBASE: false
VALIDATE_BASH: true
VALIDATE_GITHUB_ACTIONS: true