diff options
author | Florian Klink <flokli@flokli.de> | 2023-01-29T16·42+0100 |
---|---|---|
committer | flokli <flokli@flokli.de> | 2023-01-31T13·29+0000 |
commit | 1ee6bd06e32d49690f536a2a5a901055d69bc1c0 (patch) | |
tree | d40c853e2109252de63389af030c983386f78ba3 /.gitignore | |
parent | c27bacd905a14207edc56850fd4ef9383706b5c4 (diff) |
feat(tvix/store/proto): implement get_name for node::Node, pub trait r/5789
Make the trait public, so consumers can use it. Also, implement it for node::Node, so we can later use this to access the name from all three if we don't care about the enum type. Change-Id: Iae530a16b705493645e61947852c03273876cc55 Reviewed-on: https://cl.tvl.fyi/c/depot/+/7963 Reviewed-by: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions