diff --git a/scripts/ci/post_benchmark_results.py b/scripts/ci/post_benchmark_results.py index 3d5b905c4..44a52097f 100644 --- a/scripts/ci/post_benchmark_results.py +++ b/scripts/ci/post_benchmark_results.py @@ -82,7 +82,8 @@ def main():
Benchmark Results {markdown_table}
-" + +""" if re.search(r'.*', pr_body, re.DOTALL): updated_body = re.sub(