ci: fix graph format

Signed-off-by: Zxilly <[email protected]>
Zxilly · Oct 21, 2024 · 783ee7d · 783ee7d
1 parent abe935b
commit 783ee7d
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/scripts/report.py b/scripts/report.py
@@ -73,14 +73,14 @@ def generate_image_url(p: str) -> str:
             if file.endswith(".output.txt"):
                 output_file_path = str(os.path.join(root, file))
                 if need_report(output_file_path):
-                    write_github_summary(header(f"Found bad case in `{output_file_path}`", header_level=4) + '\n')
+                    write_github_summary(header(f"Found bad case in {output_file_path}", header_level=4) + '\n')
                     write_github_summary(details(code_block(filter_output(output_file_path))) + '\n')
                     break
 
             if file.endswith(".graph.svg"):
                 image_url = generate_image_url(str(os.path.join(root, file)))
-                graphs += header(f"Graph for `{file}`", header_level=4) + '\n'
-                graphs += f'<img src="{image_url}" alt="{file}" width="900" />' + '\n'
+                graphs += header(f"Graph for {file}", header_level=4) + '\n'
+                graphs += f'<img src="{image_url}" alt="{file}" width="900" />' + '\n\n'
 
     if graphs:
         write_github_summary(header("Graphs", header_level=3) + '\n')