summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJan Macku <jamacku@redhat.com>2023-03-31 10:20:06 +0200
committerSimon McVittie <smcv@collabora.com>2023-03-31 16:38:25 +0100
commit026bb1d01a7ee75971110cf1cd83a6ded4a75cf5 (patch)
tree57654ad53a1967ee215ac2d5a2fefd3314ce3593
parent5069fd6a216ce31ca87961f73adff2483dc6677d (diff)
downloadflatpak-026bb1d01a7ee75971110cf1cd83a6ded4a75cf5.tar.gz
ci: trigger differential-shellcheck workflow on push
Fixes: redhat-plumbers-in-action/differential-shellcheck#215
-rw-r--r--.github/workflows/differential-shellcheck.yml5
1 files changed, 3 insertions, 2 deletions
diff --git a/.github/workflows/differential-shellcheck.yml b/.github/workflows/differential-shellcheck.yml
index ccc888ae..53ceb95b 100644
--- a/.github/workflows/differential-shellcheck.yml
+++ b/.github/workflows/differential-shellcheck.yml
@@ -4,6 +4,8 @@
name: Differential ShellCheck
on:
+ push:
+ branches: [main]
pull_request:
branches: [main]
@@ -16,7 +18,6 @@ jobs:
permissions:
security-events: write
- pull-requests: write
steps:
- name: Repository checkout
@@ -25,7 +26,7 @@ jobs:
fetch-depth: 0
- name: Differential ShellCheck
- uses: redhat-plumbers-in-action/differential-shellcheck@v3
+ uses: redhat-plumbers-in-action/differential-shellcheck@v4
with:
severity: warning
token: ${{ secrets.GITHUB_TOKEN }}