mirror of
https://github.com/systemd/systemd
synced 2024-10-15 04:24:19 +00:00
ci: lint the Coverity script
as we now use our own custom script for it.
This commit is contained in:
parent
176086a2ec
commit
34a2f39b37
3
.github/workflows/linter.yml
vendored
3
.github/workflows/linter.yml
vendored
|
@ -38,8 +38,7 @@ jobs:
|
|||
# missing shebangs)
|
||||
# - .*\.(in|SKELETON) - all template/skeleton files
|
||||
# except kernel-install
|
||||
# - tools/coverity\.sh - external file (with some modifications)
|
||||
FILTER_REGEX_EXCLUDE: .*/(man/.*|([^k]|k(k|ek)*([^ek]|e[^kr]))*(k(k|ek)*e?)?\.(in|SKELETON)|tools/coverity\.sh)$
|
||||
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
|
||||
|
|
Loading…
Reference in a new issue