diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-10T16·10+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-24T21·25+0000 |
commit | 8235384d2d72514e1ef67de1782dc9f604039435 (patch) | |
tree | bfdc0ce3e53285a53d80827f525eae3742395a1f /third_party/gerrit | |
parent | 5685f7c59402439af33f7b6fc1114557f0c33477 (diff) |
chore(tvix/eval): only print AST if requested r/4463
Change-Id: If32c7fd03458a27aecb8c473f2c48b12f8cb5175 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6128 Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi> Autosubmit: tazjin <tazjin@tvl.su>
Diffstat (limited to 'third_party/gerrit')
0 files changed, 0 insertions, 0 deletions