Skip to content

Commit 5208554

Browse files
committed
fix: correct capitalization of workflow name and simplify conditional check for PR comments
1 parent bae35b8 commit 5208554

File tree

1 file changed

+2
-3
lines changed

1 file changed

+2
-3
lines changed

.github/workflows/slither.yml

Lines changed: 2 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
name: slither
1+
name: Slither
22

33
on:
44
push:
@@ -8,7 +8,6 @@ on:
88

99
jobs:
1010
slither:
11-
name: slither
1211
runs-on: ubuntu-latest
1312
steps:
1413
- uses: actions/checkout@v4
@@ -34,8 +33,8 @@ jobs:
3433
echo "value=${value}" >> $GITHUB_OUTPUT
3534
3635
- name: Create/update checklist as PR comment
36+
if: ${{ github.event_name == 'pull_request' && steps.formatted_slither.outputs.value != '' }}
3737
uses: actions/github-script@v6
38-
if: github.event_name == 'pull_request'
3938
with:
4039
script: |
4140
const script = require(".github/scripts/slither_pr_comment")

0 commit comments

Comments
 (0)