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:14:01 +02:00 committed by GitHub
parent dd79c11f6c
commit 54744db05e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,6 +2,8 @@
name: Lint
on:
push:
branches: [master]
pull_request:
branches: [master]
@ -12,6 +14,9 @@ jobs:
shellcheck:
runs-on: ubuntu-latest
permissions:
security-events: write
steps:
- name: Repository checkout
uses: actions/checkout@v3