Skip to content

Change stdout outputs to stderr, to not break piped output #12095

Change stdout outputs to stderr, to not break piped output

Change stdout outputs to stderr, to not break piped output #12095

Annotations

1 warning

Build (17)

succeeded May 8, 2026 in 7m 13s