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)
commitdbfbaac9a3be96ae348467e46c53637a691336d3
treebb201c6546ed309e4fd68a8ac04d78885b7470b1
parent511ca11ea437116522463053718df41c761e8a51
GitHub Actions: add shellcheck to PR workflow

This reports shellcheck output for *changed* lines. Preexisting problems are
not reported.
.github/workflows/pr-review.yml [new file with mode: 0644]