diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-08-24T17·17+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-09-02T14·13+0000 |
| commit | b8f36ba09778145bcc04017ebcb8d4f9a0e9da8a (patch) | |
| tree | 4ea8ef715091d63f76d2c22a5be2daee1a1deba9 /.git-blame-ignore-revs | |
| parent | 2023b8e33f0e1700ecbaebf4c6fc37a479e73329 (diff) | |
chore(tvix/eval): print slightly more information about warnings r/4599
This is just for dev comfort, it's not going to be useful for the final version. Change-Id: I05fdd590097a61085ed641810655d9ddaf8f3511 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6265 Reviewed-by: sterni <sternenseemann@systemli.org> Tested-by: BuildkiteCI
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions