diff options
author | Jan Macku <jamacku@redhat.com> | 2022-09-11 17:19:38 +0200 |
---|---|---|
committer | MartinNowack <2443641+MartinNowack@users.noreply.github.com> | 2023-03-27 21:48:04 +0100 |
commit | 13cfabb17dfb5305cbc8ddc2a2ab94b527f3f30e (patch) | |
tree | 970399c65ba18f298e3b55cc1000896ff52b3969 /lib/Module | |
parent | dfd2aea9e73c00634f81c6388587713ad737d4b7 (diff) | |
download | klee-13cfabb17dfb5305cbc8ddc2a2ab94b527f3f30e.tar.gz |
ci(lint): add shell linter - Differential ShellCheck
It performs differential ShellCheck scans and report results directly in pull request. documentation: https://github.com/redhat-plumbers-in-action/differential-shellcheck Signed-off-by: Jan Macku <jamacku@redhat.com>
Diffstat (limited to 'lib/Module')
0 files changed, 0 insertions, 0 deletions