8000 Merge remote-tracking branch 'origin/pull/45' · archlinux/arch-install-scripts@be93700 · GitHub
[go: up one dir, main page]

Skip to content

Commit be93700

Browse files
committed
Merge remote-tracking branch 'origin/pull/45'
* origin/pull/45: ci: update differential-shellcheck
2 parents 560c00c + f06deaa commit be93700

File tree

1 file changed

+7
-1
lines changed

1 file changed

+7
-1
lines changed

.github/workflows/differential-shellcheck.yml

Lines changed: 7 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,8 @@
11
name: Differential ShellCheck
22
on:
3+
push:
4+
branches:
5+
- master
36
pull_request:
47
branches:
58
- master
@@ -11,13 +14,16 @@ jobs:
1114
lint:
1215
runs-on: ubuntu-latest
1316

17+
permissions:
18+
security-events: write
19+
1420
steps:
1521
- name: Repository checkout
1622
uses: actions/checkout@v3
1723
with:
1824
fetch-depth: 0
1925

2026
- name: Differential ShellCheck
21-
uses: redhat-plumbers-in-action/differential-shellcheck@latest
27+
uses: redhat-plumbers-in-action/differential-shellcheck@v4
2228
with:
2329
token: ${{ secrets.GITHUB_TOKEN }}

0 commit comments

Comments
 (0)
0