hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

Fix string vs int ID comparison

Browse Source
This commit is contained in:
Tamas Vajk
2021-06-21 09:14:59 +02:00
parent 801007357f
commit d28fd363f9
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
misc/scripts/library-coverage/compare-files-comment-pr.py
View File

@@ -211,7 +211,7 @@ def get_previous_run_id(repo, run_id, pr_number):
"[.workflow_runs.[] | select(.head_branch==\"" + pr_branch + "\" and .head_repository.full_name==\"" + pr_repo + "\") | { created_at: .created_at, run_id: .id}] | sort_by(.created_at) | reverse | [.[].run_id]"])
ids = json.loads(ids)
if ids[0] != run_id:
if ids[0] != int(run_id):
raise Exception("Expected to find " + str(run_id) +
" in the list of matching runs.")