diff options
author | Florian Klink <flokli@flokli.de> | 2023-09-15T12·44+0200 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2023-09-15T19·38+0000 |
commit | b52bb6e7915c6f2cb481a90918ce6483f0a43ad4 (patch) | |
tree | 59d94235537ffeb93623ad15aff1e2b2d650f182 /users/riking/OWNERS | |
parent | d111a0fda8e45725b655a3661370624a4588fc50 (diff) |
fix(tvix/store): log to stderr, not stdout r/6594
This leaves some space in stdout to provide actual meaningful output. Also, rename print_node to log_node because that's what it does, it's using the logger to log out more detailed info. Change-Id: Ic64a6330dbfcdc63eb4198067a5c5e47b841b9a5 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9336 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com> Reviewed-by: Adam Joseph <adam@westernsemico.com>
Diffstat (limited to 'users/riking/OWNERS')
0 files changed, 0 insertions, 0 deletions