Skip to content

Commit b2bb124

Browse files
committed
Add missing newline and remove duplicate header from PR summary
1 parent 21979c8 commit b2bb124

File tree

1 file changed

+2
-1
lines changed

1 file changed

+2
-1
lines changed

site/src/github.rs

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -706,11 +706,12 @@ async fn categorize_benchmark(
706706
generate_short_summary(secondary.as_ref(), is_master_commit);
707707

708708
let mut result = format!(
709-
r#"Summary:
709+
r#"
710710
- Primary benchmarks: {primary_short_summary}
711711
- Secondary benchmarks: {secondary_short_summary}
712712
"#
713713
);
714+
write!(result, "\n\n").unwrap();
714715

715716
let (primary, secondary) = (
716717
primary.unwrap_or_else(|| ComparisonSummary::empty()),

0 commit comments

Comments
 (0)