diff options
author | Florian Klink <flokli@flokli.de> | 2023-05-25T08·50+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-05-27T16·44+0000 |
commit | 93fa47f2ae868e9476f1dd33572022ef0bed4dbf (patch) | |
tree | fbb706a7115cb82ae044b81111fc3c382312838a /corp | |
parent | c7e7f6d682a3e45e41698f3f47ab9439b36145c3 (diff) |
feat(tvix/cli): add --no-warnings argument r/6213
This will prevent tvix from printing any warnings. As a followup, we can also thread this parameter through into the evaluator itself, to prevent warnings from being constructed in first place. Change-Id: I15381396f86573484bdd1a73d09034a665638e35 Reviewed-on: https://cl.tvl.fyi/c/depot/+/8646 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'corp')
0 files changed, 0 insertions, 0 deletions