diff options
| author | Florian Klink <flokli@flokli.de> | 2024-08-07T10·12+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-08-07T10·50+0000 |
| commit | c2c4169e498c96894c3b8ca8011120313c6e5d11 (patch) | |
| tree | 88b8e12cbc83b8bdf641ead453b674adde79245a /.git-blame-ignore-revs | |
| parent | f9703a9af5e3b2fb53f10204fce43950e2c33f98 (diff) | |
docs(tvix/TODO): add Correctness > Performance section r/8450
Explain the current caveats as far as performance tuning is concerned. Change-Id: I1a9c11c81de09350240fb61e3c130fc401ef6618 Reviewed-on: https://cl.tvl.fyi/c/depot/+/12141 Autosubmit: flokli <flokli@flokli.de> Reviewed-by: yuka <yuka@yuka.dev> Tested-by: BuildkiteCI
Diffstat (limited to '.git-blame-ignore-revs')
0 files changed, 0 insertions, 0 deletions