Open-Harbor/osrm-backend
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases 3 Wiki Activity

Update post_benchmark_results.py

Browse Source
This commit is contained in:
Siarhei Fedartsou 2024-05-27 22:58:59 +02:00 committed by GitHub
parent 1bf5c018e3
commit 60e133fb12
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
scripts/ci/post_benchmark_results.py
View File

@ -82,7 +82,8 @@ def main():
<details><summary>Benchmark Results</summary>
{markdown_table}
</details>
<!-- BENCHMARK_RESULTS_END -->"
<!-- BENCHMARK_RESULTS_END -->
"""
if re.search(r'<!-- BENCHMARK_RESULTS_START -->.*<!-- BENCHMARK_RESULTS_END -->', pr_body, re.DOTALL):
updated_body = re.sub(