diff options
| author | Ralf Jung <post@ralfj.de> | 2025-02-20 12:32:30 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-02-20 12:32:30 +0000 |
| commit | 83ecea2a1390da0781b87a2f6d73c0b8eef5b2ea (patch) | |
| tree | 7be5882a02a7d84f538a0df35b087cf2cd1d726a /src | |
| parent | e2ba35a451de25fdad24333040ee3dfca114614b (diff) | |
| parent | 30fc90976a1683df4416d30a37f3286d6cafb8b5 (diff) | |
| download | rust-83ecea2a1390da0781b87a2f6d73c0b8eef5b2ea.tar.gz rust-83ecea2a1390da0781b87a2f6d73c0b8eef5b2ea.zip | |
Merge pull request #4198 from Kobzol/remove-gha-summary
Remove GitHub job summaries
Diffstat (limited to 'src')
| -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(), + }, ) } |
