printExecutionTime use stderr (push command)

[Nothing-Works]

Describe the bug

I am not sure if this is a bug or a feature, but it's pretty annoying to me.

so when I upload a file successfully using the CLI(push command), the very last output is always printing the execution time and from the code it seems like it's always stdeer, I am not sure why it's done this way, but our pipeline output highlight it as red error which is pretty annoying.

To Reproduce Steps to reproduce the behavior:

It's very easy to reproduce I believe, just do a push, and stderr is the output even if it's pushed successfully.

Expected behavior

I am expecting stdout when it's successful pushed

Redocly Version(s)

1.0.0

Node.js Version(s)

20.5.0

[Nothing-Works]

would you take a PR?

[tatomyr]

Hi @Nothing-Works,

This is designed that way due to internal implementation 😅. We're considering removing this in future versions, but it's too early to state anything.

[Nothing-Works]

@tatomyr looking forward to it.