diff options
author | Vincent Ambo <mail@tazj.in> | 2023-11-05T18·02+0300 |
---|---|---|
committer | clbot <clbot@tvl.fyi> | 2023-11-05T20·28+0000 |
commit | 87d3fac6762b5b2f71d766eadf652d7762213d2b (patch) | |
tree | e7e8e4e7246c20e4f797cec7c31fa0f913e2ee15 /tvix/store/src/proto/mod.rs | |
parent | 2e1399698b366af4a1579cdcbd9363633b8bc632 (diff) |
chore(tvix): add missing clippy attributes & config r/6958
For cases where clippy lints don't apply to us, or something is misfiring, add appropriate configuration. Relates to b/321. Change-Id: I0af453910b4a4112bf685b2a8e9a73de10ec87ea Reviewed-on: https://cl.tvl.fyi/c/depot/+/9965 Reviewed-by: flokli <flokli@flokli.de> Autosubmit: tazjin <tazjin@tvl.su> Tested-by: BuildkiteCI
Diffstat (limited to 'tvix/store/src/proto/mod.rs')
0 files changed, 0 insertions, 0 deletions