diff options
author | Vincent Ambo <mail@tazj.in> | 2022-08-10T17·01+0300 |
---|---|---|
committer | tazjin <tazjin@tvl.su> | 2022-08-25T10·41+0000 |
commit | 522d93745c3b92a93493c2d81c01e3cf6267994e (patch) | |
tree | 1c6ef269cc2bd02692e1269a2bd3de7283dd6bb6 /third_party/README.md | |
parent | ad1c11b60677c020c1e62601b63bfb0d8e49234f (diff) |
fix(tvix/value): fix display representation of floats r/4469
Nix displays a maximum of 5 digits for floating points. Change-Id: Ifa3c0d96fa0b24e3be8f94dfebc99e602a258355 Reviewed-on: https://cl.tvl.fyi/c/depot/+/6133 Tested-by: BuildkiteCI Reviewed-by: sterni <sternenseemann@systemli.org>
Diffstat (limited to 'third_party/README.md')
0 files changed, 0 insertions, 0 deletions