diff options
| author | Florian Klink <flokli@flokli.de> | 2024-05-03T15·13+0300 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2024-05-03T19·49+0000 |
| commit | 1c7d319164c6122f9f21f1b54ac4f6cddb53f1bb (patch) | |
| tree | 6e8bea062e808b092c71413f2dd89322eeedaebb /tools/cheddar/.gitignore | |
| parent | 37671d3913213d54764f441d6c1473f5e3483e87 (diff) | |
refactor(tvix/store/pathinfo/sled): cleanup, add instrumentation r/8071
Write this a bit more compact, by using map_err(|e| …) and ?. Ideally we'd get rid of the error mapping entirely, by using proper error types, but that's left for a followup. Change-Id: I68dc72b162ac89c5ff82d8c2bc26e1c808a0affd Reviewed-on: https://cl.tvl.fyi/c/depot/+/11584 Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI Reviewed-by: Connor Brewster <cbrewster@hey.com>
Diffstat (limited to 'tools/cheddar/.gitignore')
0 files changed, 0 insertions, 0 deletions