diff options
| author | Frantisek Sumsal <frantisek@sumsal.cz> | 2022-08-11 10:36:02 +0200 |
|---|---|---|
| committer | Frantisek Sumsal <frantisek@sumsal.cz> | 2022-08-11 10:57:25 +0200 |
| commit | 34a2f39b3734a931731716daab28b0a5c5dc9487 (patch) | |
| tree | 1493bf5fe94ce607bf3d034fbbfbea387eb7abfd /.github/workflows/linter.yml | |
| parent | ci: simplify the Coverity script a bit (diff) | |
| download | systemd-34a2f39b3734a931731716daab28b0a5c5dc9487.tar.xz systemd-34a2f39b3734a931731716daab28b0a5c5dc9487.zip | |
ci: lint the Coverity script
as we now use our own custom script for it.
Diffstat (limited to '.github/workflows/linter.yml')
| -rw-r--r-- | .github/workflows/linter.yml | 3 |
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 |