We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 5208554 commit fad9fe2Copy full SHA for fad9fe2
.github/workflows/slither.yml
@@ -31,9 +31,11 @@ jobs:
31
value="${value//$'\n'/'%0A'}"
32
value="${value//$'\r'/'%0D'}"
33
echo "value=${value}" >> $GITHUB_OUTPUT
34
+ count=$(jq '[.runs[].results[]] | length' results.sarif 2>/dev/null || echo 0)
35
+ echo "results_count=${count}" >> $GITHUB_OUTPUT
36
37
- name: Create/update checklist as PR comment
- if: ${{ github.event_name == 'pull_request' && steps.formatted_slither.outputs.value != '' }}
38
+ if: ${{ github.event_name == 'pull_request' && steps.formatted_slither.outputs.results_count != '0' }}
39
uses: actions/github-script@v6
40
with:
41
script: |
0 commit comments