Merge pull request #1457 from rust-lang/errors-ping-wg

Kobzol · web-flow · commit e6a7052104c1 · 2022-10-06T23:39:46.000+02:00
Ping `wg-compiler-performance` if a master commit breaks some benchmark
diff --git a/site/src/github/comparison_summary.rs b/site/src/github/comparison_summary.rs
@@ -169,6 +169,9 @@ async fn summarize_run(
 
     if !errors.is_empty() {
         writeln!(&mut message, "\n{errors}").unwrap();
+        if is_master_commit {
+            writeln!(&mut message, "\ncc @rust-lang/wg-compiler-performance").unwrap();
+        }
     }
 
     let mut table_written = false;

Original file line number	Diff line number	Diff line change
`@@ -169,6 +169,9 @@ async fn summarize_run(`
`169`	`169`
`170`	`170`	`if !errors.is_empty() {`
`171`	`171`	`writeln!(&mut message, "\n{errors}").unwrap();`
	`172`	`+ if is_master_commit {`
	`173`	`+ writeln!(&mut message, "\ncc @rust-lang/wg-compiler-performance").unwrap();`
	`174`	`+ }`
`172`	`175`	`}`
`173`	`176`
`174`	`177`	`let mut table_written = false;`