diff options
| author | Vincent Ambo <mail@tazj.in> | 2022-12-09T09·58+0300 |
|---|---|---|
| committer | tazjin <tazjin@tvl.su> | 2022-12-21T13·23+0000 |
| commit | 59e695a9d907aba0db23fb6ac71acd80f7713cd0 (patch) | |
| tree | 441afdae76b8e404f6ec9a075b1625e47016629b /tools | |
| parent | 9bc1e6ef055bc1d835d258a2e21e6cfe6ae63cb9 (diff) | |
feat(tvix/eval): add observer configuration to public API r/5444
With this change, it should be possible to have both existing use-cases (CLI & Tvixbolt) use the same API. Change-Id: I2195264f08cc892177b559a28660dc5f98e48e41 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7545 Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI Reviewed-by: grfn <grfn@gws.fyi>
Diffstat (limited to 'tools')
0 files changed, 0 insertions, 0 deletions