hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-27 17:55:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #6914 from tamasvajk/feature/improve-csv-pr-commenter

Browse Source 
Introduce foldable region in CSV coverage PR comments
This commit is contained in:
Tamás Vajk
2021-10-20 08:45:55 +02:00
committed by GitHub
parent 233a3346a8 70ffbae091
commit 9331b3538d
1 changed files with 6 additions and 9 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
misc/scripts/library-coverage/comment-pr.py
View File

@@ -25,16 +25,13 @@ def get_comment_text(output_file, repo, run_id):
comment = comment_first_line + \
f"The generated reports are available in the [artifacts of this workflow run](https://github.com/{repo}/actions/runs/{run_id}). " + \
"The differences will be picked up by the nightly job after the PR gets merged. "
"The differences will be picked up by the nightly job after the PR gets merged.\n\n"
if size < 2000:
print("There's a small change in the CSV framework coverage reports")
comment += "The following differences were found: \n\n"
with open(output_file, 'r') as file:
comment += file.read()
else:
print("There's a large change in the CSV framework coverage reports")
comment += f"The differences can be found in the {comparison_artifact_name} [artifact of this workflow run](https://github.com/{repo}/actions/runs/{run_id})."
comment += "<details><summary>Click to show differences in coverage</summary>\n\n"
with open(output_file, 'r') as file:
comment += file.read()
comment += "</details>\n"
return comment