bootstrap: Don't eagerly format verbose messages

Open clubby789 opened this issue 1 year ago • 2 comments

We format! a lot of messages which are only used when we are at some level of verbosity - do this lazily instead

Mar 11 '24 23:03 clubby789

r? @albertlarsan68

rustbot has assigned @albertlarsan68. They will have a look at your PR within the next two weeks and either review your PR or reassign to another reviewer.

Use r? to explicitly pick a reviewer

Mar 11 '24 23:03 rustbot

This PR modifies src/bootstrap/src/core/config.

If appropriate, please update CONFIG_CHANGE_HISTORY in src/bootstrap/src/utils/change_tracker.rs.

Mar 11 '24 23:03 rustbot

Thanks for the PR! @bors r+ rollup

Mar 12 '24 05:03 albertlarsan68

:pushpin: Commit 7f1d08e575a6578c9a591f9a78ab13deb33704f8 has been approved by albertlarsan68

It is now in the queue for this repository.

Mar 12 '24 05:03 bors