]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
ci(lint): add shell linter - Differential ShellCheck
authorJan Macku <jamacku@redhat.com>
Tue, 16 Aug 2022 12:34:49 +0000 (14:34 +0200)
committerFrantisek Sumsal <frantisek@sumsal.cz>
Tue, 16 Aug 2022 13:33:57 +0000 (13:33 +0000)
It performs differential ShellCheck scans and report results directly in
pull request.

documentation:
https://github.com/redhat-plumbers-in-action/differential-shellcheck

.github/workflows/differential-shellcheck.yml [new file with mode: 0644]

diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml
new file mode 100644 (file)
index 0000000..154cf4a
--- /dev/null
@@ -0,0 +1,30 @@
+---
+# https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme
+
+name: Differential ShellCheck
+on:
+  pull_request:
+    branches:
+      - main
+
+permissions:
+  contents: read
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    permissions:
+      security-events: write
+      pull-requests: write
+
+    steps:
+      - name: Repository checkout
+        uses: actions/checkout@2541b1294d2704b0964813337f33b291d3f8596b
+        with:
+          fetch-depth: 0
+
+      - name: Differential ShellCheck
+        uses: redhat-plumbers-in-action/differential-shellcheck@60360c0fb283149ed03ad16b66257a967c3e5231
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}