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 /users | |
| 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 'users')
0 files changed, 0 insertions, 0 deletions