user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #4198 from Kobzol/remove-gha-summary

Browse source 
Remove GitHub job summaries
This commit is contained in:
Ralf Jung 2025-02-20 12:32:30 +00:00 • committed by GitHub
commit 83ecea2a13
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 5 additions and 9 deletions
Download patch file Download diff file Expand all files Collapse all files

14
src/tools/miri/tests/ui.rs
View file

@ -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(),
},
)
}