diff options
author | Vincent Ambo <mail@tazj.in> | 2023-05-12T08·16+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-05-12T12·50+0000 |
commit | 969fbcd6d491d072b95d97bab6ef12efffd5f2bd (patch) | |
tree | 48e7175fa25cc28b5f5f1e5fd2aeecfa447acbfe /third_party/sources | |
parent | 6a30eb69e067afd541312b3eb4d68416c6734e2d (diff) |
fix(tvix/eval): builtins.trace prints to stderr r/6135
Change-Id: Icf577396035474d6977e627058aba5805c61985e Reviewed-on: https://cl.tvl.fyi/c/depot/+/8563 Tested-by: BuildkiteCI Autosubmit: tazjin <tazjin@tvl.su> Reviewed-by: flokli <flokli@flokli.de>
Diffstat (limited to 'third_party/sources')
0 files changed, 0 insertions, 0 deletions