diff --git a/test/scripts/upload-results b/test/scripts/upload-results index aa4fd19043..f1214e5fb8 100755 --- a/test/scripts/upload-results +++ b/test/scripts/upload-results @@ -37,6 +37,8 @@ def main(): with open(info_path, "r") as info_fp: build_info = json.load(info_fp) build_info["pr"] = pr_number + # strip the PR prefix + pr_number = pr_number.lstrip("PR-") with open(info_path, "w") as info_fp: json.dump(build_info, info_fp, indent=2)