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

Add benchmarks comparison job

Browse Source
This commit is contained in:
Siarhei Fedartsou 2024-05-11 20:45:10 +02:00
parent 36cddba728
commit b78729369d
1 changed files with 7 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
scripts/ci/post_benchmark_results.py
View File

@ -11,8 +11,13 @@ PR_NUMBER = os.getenv('PR_NUMBER')
REPO_OWNER, REPO_NAME = REPO.split('/') REPO_OWNER, REPO_NAME = REPO.split('/')
def create_markdown_table(results): def create_markdown_table(results):
header = "| Benchmark | Base | PR |\n|--------|----|" header = "| Benchmark | Base | PR |\n|-----------|------|----|"
rows = [f"| {result['name']} | {result['base']} | {result['pr']} |" for result in results] rows = []
for result in results:
base = result['base'].replace('\n', '<br>')
pr = result['pr'].replace('\n', '<br>')
row = f"| {result['name']} | ```{base}``` | ```{pr}``` |"
rows.append(row)
return f"{header}\n" + "\n".join(rows) return f"{header}\n" + "\n".join(rows)
def get_pr_details(repo_owner, repo_name, pr_number): def get_pr_details(repo_owner, repo_name, pr_number):