GitHub Actions: add shellcheck to PR workflow
authorChris Hofstaedtler <chris@hofstaedtler.name>
Sun, 12 Nov 2023 01:43:28 +0000 (02:43 +0100)
committerChris Hofstaedtler <chris@hofstaedtler.name>
Fri, 17 Nov 2023 15:51:49 +0000 (16:51 +0100)
This reports shellcheck output for *changed* lines. Preexisting problems are
not reported.


No differences found