diff options
author | Florian Klink <flokli@flokli.de> | 2023-12-09T13·51+0200 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-12-11T22·35+0000 |
commit | 6025be423a3dd97e29f536d39ca99528f58e5fb3 (patch) | |
tree | 9a2d59d5b59479e8d25cf411f77579c134e21afb /tvix/.gitignore | |
parent | 1cc3e9c1a83f819a94e1e3b92969cddf13356f2c (diff) |
chore(tvix/proto): drop evaluator.proto r/7157
This only contained the (unused) evaluator.proto file. Considering we're less likely to have the CLI talk to a long-running evaluator, but instead embed the evaluator inside the CLI, remove this. If we add a RPC to speak to an evaluator, we can resurrect this from git history. Change-Id: I2196aade55221660330dfd32dc3e52c39ec6ed43 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10241 Reviewed-by: Adam Joseph <adam@westernsemico.com> Reviewed-by: raitobezarius <tvl@lahfa.xyz> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/.gitignore')
0 files changed, 0 insertions, 0 deletions