diff options
| author | Florian Klink <flokli@flokli.de> | 2023-01-29T16·42+0100 |
|---|---|---|
| committer | flokli <flokli@flokli.de> | 2023-01-30T09·45+0000 |
| commit | a2c33f517c217a196bce92f6acd4f6552cb85275 (patch) | |
| tree | 93ab48a0786e80db26c7117798e7977bfe7fe55e /ops/besadii | |
| parent | 9c18888715ffb41806017190ac66037709215b4b (diff) | |
feat(tvix/store/proto): implement get_name for all nodes r/5779
Also add a `NamedNode` trait. We'll later use this to access names from all three individually. Change-Id: Icb5afd6fa5a0d834e9908294382de9892a5a6440 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7953 Tested-by: BuildkiteCI Reviewed-by: tazjin <tazjin@tvl.su>
Diffstat (limited to 'ops/besadii')
0 files changed, 0 insertions, 0 deletions