diff options
| author | Florian Klink <flokli@flokli.de> | 2023-10-05T15·00+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-10-05T18·58+0000 |
| commit | 96c0b3f069b007c9c2f05d3252a0715ea6d90fff (patch) | |
| tree | 010d2ad42ec0ed83f6691f5a8b86f740b1e233e4 /users/glittershark | |
| parent | a2c81de4cb11757642a12b941ef6caa5f78cf3bb (diff) | |
refactor(tvix/store/proto): use NamedNode trait r/6715
This saves us writing the name parsing code three times. We can also delay parsing until we did other (cheaper) checks. Change-Id: I1abe3f20dba4215b38839cf7466297e028d64656 Reviewed-on: https://cl.tvl.fyi/c/depot/+/9548 Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com> Autosubmit: flokli <flokli@flokli.de>
Diffstat (limited to 'users/glittershark')
0 files changed, 0 insertions, 0 deletions