File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -30,14 +30,15 @@ jobs:
3030 - uses : ./.github/actions/fetch-codeql
3131
3232 - name : QHelp preview
33- if : ${{ steps.changes.outputs.qhelp_files }}
3433 run : |
35- ( echo "QHelp previews:";
36- cat "${{ runner.temp }}/paths.txt" | while read path; do
37- echo "<details> <summary>${path}</summary>"
38- echo
39- codeql generate query-help --format=markdown "${path}"
40- echo "</details>"
41- done) | gh pr comment "${{ github.event.pull_request.number }}" -F -
34+ if [ -s "${{ runner.temp }}/paths.txt" ]; then
35+ ( echo "QHelp previews:";
36+ cat "${{ runner.temp }}/paths.txt" | while read path; do
37+ echo "<details> <summary>${path}</summary>"
38+ echo
39+ codeql generate query-help --format=markdown "${path}"
40+ echo "</details>"
41+ done) | gh pr comment "${{ github.event.pull_request.number }}" -F -
42+ fi
4243 env :
4344 GITHUB_TOKEN : ${{ github.token }}
You can’t perform that action at this time.
0 commit comments