diff options
| author | Zbigniew Jędrzejewski-Szmek <zbyszek@in.waw.pl> | 2024-02-28 10:28:56 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-02-28 10:28:56 +0100 |
| commit | ab95ba15584b9cae065ffea1a175ff54a7d25474 (patch) | |
| tree | 10f24a84c0d119e269f4636a4f8a4124936438d3 /.github | |
| parent | cgroup-setup: clarify '<=' is evaluated earlier (diff) | |
| parent | ci(lint): temporarily disable ShellCheck for bash-completion (diff) | |
| download | systemd-ab95ba15584b9cae065ffea1a175ff54a7d25474.tar.xz systemd-ab95ba15584b9cae065ffea1a175ff54a7d25474.zip | |
Merge pull request #31511 from jamacku/prepare-for-diff-shellcheck
Prepare for new version of Differential ShellCheck & scanning of shell completion scripts
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/differential-shellcheck.yml | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml index b04aabb14a..89811edb95 100644 --- a/.github/workflows/differential-shellcheck.yml +++ b/.github/workflows/differential-shellcheck.yml @@ -31,5 +31,10 @@ jobs: uses: redhat-plumbers-in-action/differential-shellcheck@91e2582e40236f831458392d905578d680baa138 with: # exclude all `.in` files because they may contain unsupported syntax, and they have to be preprocessed first - exclude-path: '**/*.in' + # TEMPORARY: exclude bash completion files, they would generate too many defects in Code scanning dashboard (600+) + # exclude zsh completion files, zsh is not supported by ShellCheck + exclude-path: | + '**/*.in' + 'shell-completion/bash/*' + 'shell-completion/zsh/*' token: ${{ secrets.GITHUB_TOKEN }} |