diff options
| author | jyn <github@jyn.dev> | 2023-06-04 22:11:05 -0500 |
|---|---|---|
| committer | jyn <github@jyn.dev> | 2023-06-04 22:12:29 -0500 |
| commit | af4e6c19377eca3f862bd2d7483c30831e998886 (patch) | |
| tree | 80d4d72e635e33eba848f339f559525f096e721a /src/tools | |
| parent | dcf3571c513a29a60a5061ce84c3c618cf5e4cd5 (diff) | |
| download | rust-af4e6c19377eca3f862bd2d7483c30831e998886.tar.gz rust-af4e6c19377eca3f862bd2d7483c30831e998886.zip | |
Don't double-print status messages in GHA
Before: ``` Building stage0 tool jsondocck (x86_64-unknown-linux-gnu) Building stage0 tool jsondocck (x86_64-unknown-linux-gnu) Downloading crates ... ``` After: ``` Building stage0 tool jsondocck (x86_64-unknown-linux-gnu) Downloading crates ... ```
Diffstat (limited to 'src/tools')
| -rw-r--r-- | src/tools/build_helper/src/ci.rs | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/tools/build_helper/src/ci.rs b/src/tools/build_helper/src/ci.rs index d2e9c324af8..d106e5b339b 100644 --- a/src/tools/build_helper/src/ci.rs +++ b/src/tools/build_helper/src/ci.rs @@ -46,6 +46,8 @@ pub mod gha { pub fn group(name: impl std::fmt::Display) -> Group { if std::env::var_os("GITHUB_ACTIONS").is_some() { eprintln!("::group::{name}"); + } else { + eprintln!("{name}") } Group(()) } |