diff options
| author | Florian Klink <flokli@flokli.de> | 2023-12-09T11·09+0200 |
|---|---|---|
| committer | clbot <clbot@tvl.fyi> | 2023-12-09T12·58+0000 |
| commit | d3ecef1a5b35d1a5a78ddba218fae89553c12ee5 (patch) | |
| tree | 9f2ff71c8a465bf0752fc5cb3736083d3ce3b84b /ops | |
| parent | f11c6d610ce002774df714cf2c998989643dccfa (diff) | |
refactor(tvix/eval): address clippy lints r/7134
Change-Id: Ic2bd4e8291b30ceac9fa0e88a4f56e61ae99b603 Reviewed-on: https://cl.tvl.fyi/c/depot/+/10227 Reviewed-by: tazjin <tazjin@tvl.su> Autosubmit: flokli <flokli@flokli.de> Tested-by: BuildkiteCI
Diffstat (limited to 'ops')
0 files changed, 0 insertions, 0 deletions