Preserve `verbosity` argument in `HumanReadableOutputRecorder.record()`.#707

Merged

grynspan merged 3 commits intomainfrom

jgrynspan/undeprecate-human-readable-output-verbosity

Sep 17, 2024

Commits on Sep 17, 2024

Preserve `verbosity` argument in `HumanReadableOutputRecorder.record()`.
grynspan
committed
Don't bother creating a stderr-aimed recorder in the first place if output verbosity is .min
grynspan
committed
Simplify setting up the recorder
grynspan
committed