about summary refs log tree commit diff homepage
path: root/.github/workflows
diff options
context:
space:
mode:
authorJan Macku <jamacku@redhat.com>2022-09-11 17:19:38 +0200
committerMartinNowack <2443641+MartinNowack@users.noreply.github.com>2023-03-27 21:48:04 +0100
commit13cfabb17dfb5305cbc8ddc2a2ab94b527f3f30e (patch)
tree970399c65ba18f298e3b55cc1000896ff52b3969 /.github/workflows
parentdfd2aea9e73c00634f81c6388587713ad737d4b7 (diff)
downloadklee-13cfabb17dfb5305cbc8ddc2a2ab94b527f3f30e.tar.gz
ci(lint): add shell linter - Differential ShellCheck
It performs differential ShellCheck scans and report results directly in pull request.

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

Signed-off-by: Jan Macku <jamacku@redhat.com>
Diffstat (limited to '.github/workflows')
-rw-r--r--.github/workflows/differential-shellcheck.yml31
1 files changed, 31 insertions, 0 deletions
diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml
new file mode 100644
index 00000000..2dd92e9b
--- /dev/null
+++ b/.github/workflows/differential-shellcheck.yml
@@ -0,0 +1,31 @@
+# Doc: https://github.com/redhat-plumbers-in-action/differential-shellcheck#usage
+---
+
+name: Differential ShellCheck
+on:
+  push:
+    branches: [master]
+  pull_request:
+    branches: [master]
+
+permissions:
+  contents: read
+
+jobs:
+  lint:
+    runs-on: ubuntu-latest
+
+    permissions:
+      security-events: write
+
+    steps:
+      - name: Repository checkout
+        uses: actions/checkout@v3
+        with:
+          fetch-depth: 0
+
+      - name: Differential ShellCheck
+        uses: redhat-plumbers-in-action/differential-shellcheck@v4
+        with:
+          severity: warning
+          token: ${{ secrets.GITHUB_TOKEN }}