summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorFrantisek Sumsal <frantisek@sumsal.cz>2022-08-11 10:36:02 +0200
committerFrantisek Sumsal <frantisek@sumsal.cz>2022-08-11 10:57:25 +0200
commit34a2f39b3734a931731716daab28b0a5c5dc9487 (patch)
tree1493bf5fe94ce607bf3d034fbbfbea387eb7abfd
parentci: simplify the Coverity script a bit (diff)
downloadsystemd-34a2f39b3734a931731716daab28b0a5c5dc9487.tar.xz
systemd-34a2f39b3734a931731716daab28b0a5c5dc9487.zip
ci: lint the Coverity script
as we now use our own custom script for it.
-rw-r--r--.github/workflows/linter.yml3
1 files changed, 1 insertions, 2 deletions
diff --git a/.github/workflows/linter.yml b/.github/workflows/linter.yml
index 0612a709ce..4c6a8d5e5a 100644
--- a/.github/workflows/linter.yml
+++ b/.github/workflows/linter.yml
@@ -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