summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Macku <jamacku@redhat.com>2022-09-12 09:56:21 +0200
committerPatrick <tingping@tingping.se>2022-11-22 10:58:52 -0600
commit668fc7d514c6aaef3c1bf1ee7df9ef66b3930678 (patch)
treea5d3b3fb3f3a4c5a7f2d6e620331312dfa0062b8
parent4e7bb4bfef774739f45985bacb6bbe13ff3dbef2 (diff)
downloadflatpak-668fc7d514c6aaef3c1bf1ee7df9ef66b3930678.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>
-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..ccc888ae
--- /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:
+ 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@v3
+ with:
+ fetch-depth: 0
+
+ - name: Differential ShellCheck
+ uses: redhat-plumbers-in-action/differential-shellcheck@v3
+ with:
+ severity: warning
+ token: ${{ secrets.GITHUB_TOKEN }}