about summary refs log tree commit diff
diff options
context:
space:
mode:
authorFlorian Klink <flokli@flokli.de>2024-10-26T10·12+0200
committerclbot <clbot@tvl.fyi>2024-10-27T12·26+0000
commit30617d5b24b8d497ef688dbea5cad0862df18fda (patch)
tree83fe2a799e1dbb05e1b24616dbace12b909dec1d
parent022cc423956379e755cd2a7e130cffa61e86cb74 (diff)
docs(tvix/build): we use stricter castore types r/8861
Change-Id: Ie96b4f85d46984cac2ecc50ff9b70fa0b26ae80d
Reviewed-on: https://cl.tvl.fyi/c/depot/+/12686
Autosubmit: flokli <flokli@flokli.de>
Tested-by: BuildkiteCI
Reviewed-by: yuka <yuka@yuka.dev>
-rw-r--r--tvix/docs/src/TODO.md2
1 files changed, 0 insertions, 2 deletions
diff --git a/tvix/docs/src/TODO.md b/tvix/docs/src/TODO.md
index 033a6bfc4aaf..5f3ce1b90349 100644
--- a/tvix/docs/src/TODO.md
+++ b/tvix/docs/src/TODO.md
@@ -152,8 +152,6 @@ there are ruled out, adding other types of builders might be interesting.
 Long-term, we want to extend traits and gRPC protocol.
 This requires some more designing. Some goals:
 
- - use stricter castore types (and maybe stricter build types) instead of
-   proto types, add conversion code where necessary
  - (more granular) control while a build is happening
  - expose more telemetry and logs