]> git.ipfire.org Git - thirdparty/util-linux.git/commitdiff
ci(lint): add shell linter - Differential ShellCheck
authorJan Macku <jamacku@redhat.com>
Tue, 16 Aug 2022 13:40:06 +0000 (15:40 +0200)
committerJan Macku <jamacku@redhat.com>
Tue, 16 Aug 2022 13:40:06 +0000 (15:40 +0200)
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..52eb681
--- /dev/null
@@ -0,0 +1,30 @@
+---
+# https://github.com/redhat-plumbers-in-action/differential-shellcheck#readme
+
+name: Differential ShellCheck
+on:
+  pull_request:
+    branches:
+      - master
+
+permissions:
+  contents: read
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    permissions:
+      security-events: write
+      pull-requests: write
+
+    steps:
+      - name: Repository checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Differential ShellCheck
+        uses: redhat-plumbers-in-action/differential-shellcheck@v2
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}