ci: trigger differential-shellcheck workflow on push

Fixes: redhat-plumbers-in-action/differential-shellcheck#215
This commit is contained in:
Jan Macku
2023-03-31 10:20:06 +02:00
committed by Simon McVittie
parent 5069fd6a21
commit 026bb1d01a

View File

@@ -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 }}