diff --git a/ui_test/src/lib.rs b/ui_test/src/lib.rs index 4a9cdd386ac..0b076a5f51e 100644 --- a/ui_test/src/lib.rs +++ b/ui_test/src/lib.rs @@ -209,6 +209,11 @@ pub fn run_tests(config: Config) { eprintln!(); } } + eprintln!("{}", "failures:".red().underline()); + for (path, _miri, _revision, _errors, _stderr) in &failures { + eprintln!(" {}", path.display()); + } + eprintln!(); eprintln!( "test result: {}. {} tests failed, {} tests passed, {} ignored, {} filtered out", "FAIL".red(),