diff options
| -rw-r--r-- | src/tools/miri/tests/ui.rs | 14 |
1 files changed, 5 insertions, 9 deletions
diff --git a/src/tools/miri/tests/ui.rs b/src/tools/miri/tests/ui.rs index 3bc953c3a5f..85ce38f57d6 100644 --- a/src/tools/miri/tests/ui.rs +++ b/src/tools/miri/tests/ui.rs @@ -217,15 +217,11 @@ fn run_tests( ui_test::default_file_filter, // This could be used to overwrite the `Config` on a per-test basis. |_, _| {}, - ( - match args.format { - Format::Terse => status_emitter::Text::quiet(), - Format::Pretty => status_emitter::Text::verbose(), - }, - status_emitter::Gha::</* GHA Actions groups*/ false> { - name: format!("{mode:?} {path} ({target})"), - }, - ), + // No GHA output as that would also show in the main rustc repo. + match args.format { + Format::Terse => status_emitter::Text::quiet(), + Format::Pretty => status_emitter::Text::verbose(), + }, ) } |