ci(lint): add shell linter - Differential ShellCheck

It performs differential ShellCheck scans and reports results directly on GitHub. documentation: https://github.com/redhat-plumbers-in-action/differential-shellcheck Signed-off-by: Jan Macku <[email protected]>
scop · Mar 6, 2024 · 5e9f6ce · 5e9f6ce
1 parent df6bcf2
commit 5e9f6ce
Showing 1 changed file with 18 additions and 0 deletions.
diff --git a/.github/workflows/ci.yaml b/.github/workflows/ci.yaml
@@ -37,6 +37,24 @@ jobs:
           source venv/bin/activate
           pre-commit run --color=always --all-files --show-diff-on-failure
 
+  lint:
+    runs-on: ubuntu-latest
+
+    permissions:
+      security-events: write
+
+    steps:
+      - name: Repository checkout
+        uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+
+      - id: ShellCheck
+        name: Differential ShellCheck
+        uses: redhat-plumbers-in-action/differential-shellcheck@v5
+        with:
+          token: ${{ secrets.GITHUB_TOKEN }}
+
   distcheck:
     runs-on: ubuntu-latest
     strategy: