What levers/knobs exist to have pants `stdout`/`stderr` use one log level, and have the log file use another? I want our CI output to be concise for humans, but upload the more verbose log for diagnoses.

This might be useful: https://github.com/pantsbuild/example-python/blob/main/.github/workflows/pants.yaml#L57-L62 I did notice that pants prints to stderr only. I could be wrong about that.